Davide Sangiorgi
Italian computer scientist
Biography
Lists
Also Viewed
The basics
Quick Facts
| Intro | Italian computer scientist | |
| Places | Italy | |
| is | Computer scientist Engineer | |
| Work field | Engineering Technology Science | |
| Gender |
| |
| Birth | 4 February 1964 | |
| Age | 60 years | |
| Star sign | Aquarius |
The details
Biography
Davide Sangiorgi is an Italian professor of computer science at the University of Bologna. He obtained his PhD from the University of Edinburgh. 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.
Selected publications
- Davide Sangiorgi, David Walker. The pi-calculus: a Theory of Mobile Processes. Cambridge University Press.