Davide Sangiorgi

Davide Sangiorgi is an Italian professor of computer science at the University of Bologna.[1] He has previously held research positions at the University of Edinburgh and at Inria. He has received his PhD from the University of Edinburgh under the supervision of Robin Milner in 1993.[2] He has had visiting positions at Centrum Wiskunde & Informatica (CWI, Amsterdam), University of Cambridge, University of Oxford.

Davide Sangiorgi
Alma materUniversity of Edinburgh (PhD)
Scientific career
FieldsComputer science
InstitutionsUniversity of Bologna
ThesisExpressing mobility in process algebras: first-order and higher-order paradigms (1993)
Doctoral advisorRobin Milner
Websitewww.cs.unibo.it/~sangio/

His research interests are in the fields of concurrent systems, semantics and verification techniques.[3][4][5][6]

He is a member, and past chairman, of IFIP Working Group 2.2 on the formal description of programming concepts, and a member of Academia Europaea. He is the head of the Research Team FOCUS, a joint laboratory between the University of Bologna and INRIA.

References
  1. Davide Sangiorgi publications indexed by Google Scholar
  2. Sangiorgi, Davide (1993). Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms (Ph.D. thesis). University of Edinburgh. hdl:1842/6569. OCLC 29948444. EThOS uk.bl.ethos.566460.
  3. Sangiorgi, Davide; Walker, David (2001). The π-calculus: a Theory of Mobile Processes. Cambridge University Press. ISBN 0-521-78177-9.
  4. Sangiorgi, Davide (2012). An introduction to bisimulation and coinduction. Cambridge University Press. ISBN 9781107003637.
  5. Sangiorgi, Davide; Rutten, Jan (2012). Advanced Topics in Bisimulation and Coinduction. Cambridge University Press. ISBN 9781107004979.
  6. Davide Sangiorgi at DBLP Bibliography Server


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