Davide Sangiorgi

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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[edit]

References[edit]

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

External links[edit]