BALDAN PAOLO

Paolo Baldan è professore ordinario presso il Dipartimento di Matematica dell'Università di Padova. Nel 1994 si è laureato con lode in Scienze dell'Informazione presso l'Università di Udine. Nel 2000 ha conseguito il titolo di Dottore di Ricerca in Informatica presso l'Università di Pisa e dal 2000 al 2001 ha svolto attività di post-dottorato (Assegno di ricerca) presso la stessa Università. Dal 2001 al 2006 e` stato ricercatore presso il Dipartimento di Informatica dell'Università Ca' Foscari di Venezia e dal 2006 al 2020 è stato professore associato presso il Dipartimento di Matematica dell'Università di Padova.

È stato research fellow presso la TU (Tecnische Universitaet) di Berlino (Germania) nel Giugno-Luglio 2000, nel Luglio-Agosto 2004, 2005 e 2006, e visiting reasearcher presso l'Universidade Federal do Rio Grande do Sul (Brasile) nell'Ottobre-Novembre 2003 e presso la Pontificia Universidade Catholica do Rio Grande do Sul nel Dicembre 2004.

Interessi di ricerca: Formalismi per la specifica di sistemi concorrenti e distribuiti, con particolare attenzione per i sistemi di riscrittura, le reti di Petri e i calcoli di processi. Tecniche di analisi e verifica basate su semantiche concorrenti. Specifica e analisi di sistemi aperti.

Ha pubblicato più di cento articoli su conferenze e riviste internazionali. Ha partecipato a vari progetti di ricerca nazionali e internazionali, talvolta con il ruolo di coordinatore (di unità o di progetto).

Ha conseguito il premio EATCS "Best Theoretical Paper" International Conference on Graph Transformation (ICGT) nelle edizioni 2002 e 2006, il premio "Most influential paper in 8 years of ICGT" per l'articolo "Approximating the Behaviour of Graph Transformation Systems (con B. Koenig), assegnato a ICGT 2010 e il premio "Outstanding paper award" aPetri nets 2014 (International Conference on the Application and Theory of Petri Nets and Concurrency).

È stato program chair o membro del comitato di programma di vari workshop e conferenze internazionali: 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).