|
Generale
Teaching
Papers
Events
Projects
|
General Information
Who I am
|
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
-
CONCUR 2026 - 37th International Conference on Concurrency Theory
Liverpool, UK
September 1-4, 2026
Deadline: April 14 2026 (abstract) - April 20 2026 (full paper)
-
CSL 2026 - 34th EACSL Annual Conference on Computer Science Logic
Paris, France
23-28 February 2026
Recent Events
-
CALCO 2025
- (11th Conference on Algebra and Coalgebra in Computer Science)
Glasgow, UK - June 16-20, 2025
-
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
Dipartimento di Matematica,
Office: 6DA6
Univ. di Padova
Via Trieste, 63 -- 35121
Padova - Italy
|
|
|
|
|
