Jump to content

Davide Sangiorgi

From Wikipedia, the free encyclopedia

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/

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 received his PhD from the University of Edinburgh under the supervision of Robin Milner in 1993.[2] He has had visiting positions at the Centrum Wiskunde & Informatica (CWI, Amsterdam), University of Cambridge, and University of Oxford.

His research interests are in the fields of concurrent systems, semantics and formal 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.

[edit]

References

[edit]
  1. ^ Davide Sangiorgi publications indexed by Google Scholar Edit this at Wikidata
  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 Edit this at Wikidata