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 in
italian or
english
(not always up to date).
Some illuminating remarks by
E.W. Dijkstra: EDW1305.
|
|
Upcoming Events
-
SAS 2024
- (31st Static Analysis Symposium)
Pasadena, California - Oct 20-22, 2024
Deadline: Sun 5 May 2024
-
MFPS 2024
- (40th Conference on Mathematical Foundations of Programming Semantics)
Oxford, 17-21 June 2024
Deadline: 29 March 2024
Recent Events
CALCO 2023
- (10th Conference on Algebra and Coalgebra
in Computer Science)
Bloomington, Indiana, June 2023
-
Petri nets 2023
- (43rd International Conference on Application and Theory of Petri Nets and Concurrency)
Lisbon, Portugal, June 19-24, 2023.
-
Petri nets 2022
- (43rd International Conference on Application and Theory of Petri Nets and Concurrency)
Bergen, Norway, June 19-24, 2022.
-
ICGT 2022
- (15th International Conference on Graph Transformation)/>
July 7-8, 2022, Nantes, France.
-
Petri nets 2021
- (42nd International Conference on Application and Theory of Petri Nets and Concurrency)
Paris, June 20-25, 2021
-
ICGT 2021
- (14th International Conference on Graph Transformation)/>
June, 2021, Bergen, Norway.
-
CALCO 2021
- (9th Conference on Algebra and Coalgebra
in Computer Science)
Salzburg, Austria, August 30-September 3, 2021
-
CONCUR2021
- (32th International Conference on Concurrency Theory)
August 23-27, 2020, Paris, France.
|
How to reach me
Dipartimento di Matematica,
Office: 6DA6
Univ. di Padova
Via Trieste, 63 -- 35121
Padova - Italy
|
|
|
|
|