Sangiorgi Davide

Davide Sangiorgi is a Full Professor at the University of Bologna, Italy, with a distinguished career in computer science and theoretical concurrency. He has held significant roles as Director of Research at INRIA (2000), Researcher at INRIA (1995), and Research Fellow at the University of Edinburgh (1993). His work spans programming languages, distributed systems, and formal verification.

• Laurea (Master) in Computer Science, University of Pisa, 1987
• PhD in Computer Science, University of Edinburgh, 1993

His research focuses on the theory of concurrent and distributed systems, with contributions to bisimulation, process calculi, and type systems. His publications highlight advancements in lock-freedom, environmental bisimulation, and behavioral equivalence, primarily in programming languages and concurrency theory.

Key trends in his articles include the development of formal methods for concurrency, type systems for mobile processes, and the application of bisimulation in higher-order languages. His work bridges theoretical foundations with practical verification techniques in distributed systems and programming languages.

• Elected Chairman of IFIP Working Group 2.2 (FORMAL DESCRIPTION OF PROGRAMMING CONCEPTS) in 2005 and re-elected in 2008
• Member of the Council of the Italian Chapter of the European Association for Theoretical Computer Science (EATCS), re-elected 3 times

Sangiorgi has supervised 10 PhD students across France and Italy, currently advising 3. He has led 3 large EU projects and bilateral initiatives (France-USA, France-Germany, France-Italy). He co-founded the joint INRIA-University of Bologna laboratory, the first of its kind for INRIA in a foreign institution.