Davide Sangiorgi
Encyclopedia
Davide Sangiorgi is professor of computer science
at the University of Bologna
. He is the chairman of IFIP Working Group 2.2 on the formal description of programming concepts.
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
at the University of Bologna
University of Bologna
The Alma Mater Studiorum - University of Bologna is the oldest continually operating university in the world, the word 'universitas' being first used by this institution at its foundation. The true date of its founding is uncertain, but believed by most accounts to have been 1088...
. He is the chairman of IFIP Working Group 2.2 on the formal description of programming concepts.
Selected publications
- Davide Sangiorgi, David Walker. The pi-calculus: a Theory of Mobile Processes. Cambridge University Press.