Paolo Baldan
Scholar

Paolo Baldan

Google Scholar ID: mPd-c8YAAAAJ
Professor of Computer Science, University of Padova
formal methodsconcurrency theory
Citations & Impact
All-time
Citations
686
 
H-index
13
 
i10-index
19
 
Publications
20
 
Co-authors
35
list available
Resume (English only)
Academic Achievements
  • No specific academic achievements mentioned.
Research Experience
  • Involved in several international conferences such as CSL 2026, CALCO 2025, SAS 2024, MFPS 2024, etc.
Education
  • Formerly a PostDoc Researcher at the Department of Computer Science (DI) of the University of Pisa, an assistant professor at the Computer Science Department of the University of Venice, and currently a Professor at the Department of Mathematics of the University of Padova.
Background
  • Professor of Computer Science, with research interests in computer science logic, algebra and coalgebra in computer science.
Miscellany
  • Quoted Enzo G. Baldoni: 'L'importante non è la meta, è quello che incontri lungo la strada.' (The important thing is not the destination, but what you encounter along the way.)