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 (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