Davide Sangiorgi - Davide Sangiorgi

Davide Sangiorgi
Alma materUniversity of Edinburgh (PhD)
Vědecká kariéra
PolePočítačová věda
InstituceBoloňská univerzita
TezeVyjádření mobility v procesních algebrách: paradigmata prvního řádu a vyššího řádu  (1993)
Doktorský poradceRobin Milner
webová stránkawww.cs.unibo.to/ ~ sangio/

Davide Sangiorgi je italský profesor počítačová věda na Boloňská univerzita.[1] Předtím působil na výzkumných pozicích v University of Edinburgh a v Inria Získal doktorát z University of Edinburgh pod dohledem Robin Milner v roce 1993.[2] Měl hostující pozice v Centrum Wiskunde & Informatica (CWI, Amsterdam), Univerzita v Cambridge, University of Oxford.

Jeho výzkumné zájmy jsou v oblastech souběžných systémů, sémantiky a verifikačních technik.[3][4][5][6]

Je členem a minulým předsedou Pracovní skupina IFIP 2.2 o formálním popisu programovacích konceptů a člen Academia Europaea. Je vedoucím výzkumného týmu FOCUS, společné laboratoře mezi Boloňská univerzita a INRIA.

externí odkazy

Reference

  1. ^ Davide Sangiorgi publikace indexované podle Google Scholar Upravte to na Wikidata
  2. ^ Sangiorgi, Davide (1993). Vyjádření mobility v procesních algebrách: paradigmata prvního řádu a vyššího řádu (Disertační práce). University of Edinburgh. hdl:1842/6569. OCLC  29948444. EThOS  uk.bl.ethos.566460.
  3. ^ Sangiorgi, Davide; Walker, David (2001). Π-kalkul: teorie mobilních procesů. Cambridge University Press. ISBN  0-521-78177-9.
  4. ^ Sangiorgi, Davide (2012). Úvod do bisimulace a koindukce. Cambridge University Press. ISBN  9781107003637.
  5. ^ Sangiorgi, Davide; Rutten, Jan (2012). Pokročilá témata v bisimulaci a koindukci. Cambridge University Press. ISBN  9781107004979.
  6. ^ Davide Sangiorgi na DBLP Bibliografický server Upravte to na Wikidata