European Association of Software Science and Technology

Log in

Paolo Baldan

Position: Associate Professor
Institution: Department of Mathematics, University of Padova, Italy
Research Interests:

Formalism for the specification of concurrent and distributed systems, in particular (graph) rewriting systems, Petri nets and process calculi. Analysis and verification techniques based on concurrent semantics. Specification and analysis of open ended systems.


Dipartimento di Matematica,
Università di Padova
Via Trieste, 63 - 35121
Padova - Italy