Jump to content

Davide Sangiorgi

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by KasparBot (talk | contribs) at 04:19, 17 May 2016 (migrating Persondata to Wikidata, please help, see challenges for this article). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.
P ≟ NP 

This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Davide_Sangiorgi&oldid=720650251"