Davide Sangiorgi
http://dbpedia.org/resource/Davide_Sangiorgi an entity of type: Thing
Davide Sangiorgi is an Italian professor of computer science at the University of Bologna. 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. He has had visiting positions at Centrum Wiskunde & Informatica (CWI, Amsterdam), University of Cambridge, University of Oxford. His research interests are in the fields of concurrent systems, semantics and verification techniques.
rdf:langString
rdf:langString
Davide Sangiorgi
xsd:integer
33318642
xsd:integer
957562529
rdf:langString
Expressing mobility in process algebras: first-order and higher-order paradigms
xsd:integer
1993
rdf:langString
Davide Sangiorgi is an Italian professor of computer science at the University of Bologna. 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. He has had visiting positions at Centrum Wiskunde & Informatica (CWI, Amsterdam), University of Cambridge, University of Oxford. His research interests are in the fields of concurrent systems, semantics and verification techniques. 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.
xsd:nonNegativeInteger
3711