About
I am a Professor of Computer Science at the Department of Mathematics, University of Padova. Previously I was an assistant professor at the Computer Science Department of the University of Venice (Ca' Foscari), and a postdoctoral researcher at the Department of Computer Science of the University of Pisa. (A few remarks by E.W. Dijkstra that I keep coming back to — EWD1305.)
Research
My research focuses, broadly, on techniques and languages for the specification, programming, analysis, and verification of concurrent and distributed systems. This spans models of concurrency such as Petri nets, event structures, and graph transformation systems; fixpoint theory and games as a foundation for verification and abstract interpretation; coalgebra as a unifying framework for behavioural equivalences; and static analysis of concurrent and reactive software.
Recent & upcoming events
-
SEP
2026CONCUR 2026
37th International Conference on Concurrency Theory — Liverpool, UK · Sep 1–4, 2026
-
FEB
2026CSL 2026
34th EACSL Annual Conference on Computer Science Logic — Paris, France · Feb 23–28, 2026
-
JUN
2025CALCO 2025
11th Conference on Algebra and Coalgebra in Computer Science — Glasgow, UK · Jun 16–20, 2025
Contact
- Office6DA6, Dept. of Mathematics
Via Trieste, 63 — 35121 Padova - Emailbaldan@math.unipd.it
- Phone+39 049 827 1268
- Fax+39 049 827 1499