Davide Sangiorgi is an Italian professor of computer science at the University of Bologna.
[1] He has previously held research positions at the University of Edinburgh and at Inria.
He received his PhD from the University of Edinburgh under the supervision of Robin Milner in 1993.
His research interests are in the fields of concurrent systems, semantics and formal verification techniques.
He is the head of the Research Team FOCUS, a joint laboratory between the University of Bologna and Inria.