Davide Sangiorgi

From Wikipedia, the free encyclopedia

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.

External links

Official website
List of publications from the DBLP Bibliography Server

Persondata
Name	Sangiorgi, Davide
Alternative names
Short description	Italian computer scientist
Date of birth
Place of birth
Date of death
Place of death

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.