Davide Sangiorgi

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.^[1] 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

Sangiorgi, Davide; Walker, David (2001). The π-calculus: a Theory of Mobile Processes. Cambridge University Press. ISBN 0-521-78177-9.

↑ Sangiorgi, Davide (1993). Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms (Ph.D. thesis). University of Edinburgh. OCLC 29948444. hdl:1842/6569. EThOS uk.bl.ethos.566460.

Authority control	WorldCat Identities VIAF: 9335147 LCCN: nb91389671 ISNI: 0000 0001 1791 2688 SUDOC: 060102640 MGP: 149850 NKC: xx0041219 CiNii: DA11932065 DBLP: s/DavideSangiorgi ACM DL: 81100628842

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.