BALDAN PAOLO

Paolo Baldan is a full professor at the Department of Mathematics of the University of Padova. In 1994 he received a laurea degree cum laude in Computer Science from the University of Udine. In 2000 he received a PhD in Computer Science from the University of Pisa and from 2000 to 2001 he was a post-doc fellow (Assegno di ricerca) in the same university. From 2001 to 2006 he was an assistant professor at Computer Science Department of the University Ca' Foscari of Venice and from 2006 to 2020 he has been an associate professor at the Department of Pure and Applied Mathematics of the University of Padova.

He has been research fellow at the TU (Tecnische Universitaet) - Berlin (Germany) in June-July 2000 and in July-August 2004, 2005 and 2006 and he has been visiting researcher at the Universidade Federal do Rio Grande do Sul (Brasil) in October-November 2003 and at the Pontificia Universidade Catholica do Rio Grande do Sul in December 2004.

His research interests includes: 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.

He has published more than one hundred papers in international conferences and journals. He participated in several national and international projects, sometimes with the role of local or national coordinator.

He received the "Best Theoretical Paper" EATCS award at the 2002 and 2006 editions of the International Conference on Graph Transformation. He was awarded of the "Most influential paper in 8 years of ICGT (International Conference on Graph Transformation)" for the paper "Approximating the Behaviour of Graph Transformation Systems (joint work with B. Koenig), assigned at ICGT 2010. He was the recipient of the "Outstanding paper award" at Petri nets 2014 (International Conference on the Application and Theory of Petri Nets and Concurrency).

He has been serving as program chair or in the program committee of various international conferences and workshops: CONCUR (International Conference on Concurrency Theory), ICALP (International Colloquium on Automata, Languages and Programming), ICGT (International Conference on Graph Transformation), AMAST (International Conference on Algebraic Methodology And Software Technology), GT-VC (Graph Transformation for Verification and Concurrency), SBMF (Brazilian Symposium on Formal Methods, PNGT (Workshop on Petri nets and Graph Transformation), GT-VMT (Graph Transformation and Visual Modelling Techniques), TERMGRAPH (International Workshop on Computing with Terms and Graphs).