Davide Sangiorgi is an Italian professor of computer science at the University of Bologna. He worked as a researcher at the University of Edinburgh and at Inria before. He earned his PhD from the University of Edinburgh with the help of Robin Milner in 1993. He has also worked as a guest researcher at the Centrum Wiskunde & Informatica (CWI, Amsterdam), University of Cambridge, and University of Oxford.
His research focuses on systems that work together at the same time, the meaning of programming languages, and methods to check if software works correctly.
He is a member and former leader of IFIP Working Group 2.2, which studies how to describe programming concepts formally. He is also a member of Academia Europaea. He leads the FOCUS Research Team, a partnership between the University of Bologna and Inria.