I am a Professor of Computer Science at the Department of Mathematics of the University of Padova.

(formerly I was an assistant professor at the Computer Science Department of the University of Venice, and a PostDoc Researcher at the Department of Computer Science (DI) of the University of Pisa).

My Curriculum Vitae in italian or english (not always up to date).

Some illuminating remarks by E.W. Dijkstra: EDW1305.

Upcoming Events

• CSL 2026 - 34th EACSL Annual Conference on Computer Science Logic
  Paris, France 23-28 February 2026
  Deadline: Jul 15 2025 (abstract) - Jul 21 2025 (full paper)
• CALCO 2025 - (11th Conference on Algebra and Coalgebra in Computer Science)
  Glasgow, UK - June 16-20, 2025
  

Recent Events

• SAS 2024 - (31st Static Analysis Symposium)
  Pasadena, California - Oct 20-22, 2024

• MFPS 2024 - (40th Conference on Mathematical Foundations of Programming Semantics)
  Oxford, 17-21 June 2024

How to reach me

	Phone:	+39 049 827 1268
	Fax:	+39 049 827 1499
	E-mail:	baldan@math.unipd.it