Davide Sangiorgi

Davide Sangiorgi
Alma mater	University of Edinburgh (PhD)
Vetenskaplig karriär
Fält	Datavetenskap
institutioner	Universitetet i Bologna
Avhandling	Att uttrycka mobilitet i processalgebror: första ordningens och högre ordningens paradigm ( 1993)
Doktorandrådgivare	Robin Milner
Hemsida	www .cs .unibo .it /~sangio /

Davide Sangiorgi är en italiensk professor i datavetenskap vid universitetet i Bologna . Han har tidigare haft forskartjänster vid University of Edinburgh och vid Inria . Han har disputerat från University of Edinburgh under ledning av Robin Milner 1993. Han har haft besökstjänster vid Centrum Wiskunde & Informatica (CWI, Amsterdam), University of Cambridge , University of Oxford .

Hans forskningsintressen är inom områdena samtidiga system, semantik och verifieringstekniker.

Han är medlem och tidigare ordförande i IFIP Working Group 2.2 om den formella beskrivningen av programmeringskoncept och medlem i Academia Europaea . Han är chef för forskningsteamet FOCUS, ett gemensamt laboratorium mellan universitetet i Bologna och INRIA .

externa länkar

• Davide Sangiorgis hemsida
• Meritförteckning