Davide Sangiorgi is an Italian professor of computer science at the University of Bologna. He obtained his PhD from the University of Edinburgh under Robin Milner in 1993. He is the chairman of IFIP Working Group 2.2 on the formal description of programming concepts. His research interests are in the fields of concurrent systems, semantics and verification techniques.
- Sangiorgi, Davide; Walker, David (2001). The π-calculus: a Theory of Mobile Processes. Cambridge University Press. ISBN 0-521-78177-9.
|P ≟ NP||This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.|