Davide Sangiorgi

Davide Sangiorgi is a Full Professor in the Department of Computer Science and Engineering at the University of Bologna, Italy, where he conducts research and teaching in theoretical computer science. His work is affiliated with the College of Science and Engineering, contributing to foundational advancements in computing.

His primary research interests lie in theoretical computer science, with a focus on concurrency theory, process calculi such as the pi-calculus, programming language semantics, and type systems for ensuring program correctness. His work bridges formal methods and programming language design, aiming to enhance the reliability and expressiveness of concurrent and distributed systems.

Davide Sangiorgi has authored numerous influential publications in top-tier theoretical computer science venues. His research demonstrates a consistent focus on the logical and mathematical foundations of computation, particularly in modeling dynamic and mobile systems. Over the years, his work has evolved to include behavioral equivalences, coinduction, and session types, contributing to both the theory and practical application of secure and correct communication protocols.

• No scientific awards were mentioned in the provided text.

He is actively involved in academic advising and research supervision, though specific names of students are not listed. He has likely secured research grants through national and international funding bodies in computer science, given his senior academic position and research output, although specific grants are not detailed in the source material.

Davide Sangiorgi is associated with the Department of Computer Science and Engineering at the University of Bologna, which serves as his primary research and teaching unit. He may collaborate with research groups in programming languages, formal verification, and distributed systems, both within the university and internationally.