Davide Sangiorgi es un profesor italiano de informática en la Universidad de Bolonia . [1] Anteriormente, ocupó puestos de investigación en la Universidad de Edimburgo y en Inria . Recibió su doctorado de la Universidad de Edimburgo bajo la supervisión de Robin Milner en 1993. [2] Ha trabajado como visitante en Centrum Wiskunde & Informatica (CWI, Amsterdam), Universidad de Cambridge , Universidad de Oxford .
Davide Sangiorgi | |
---|---|
alma mater | Universidad de Edimburgo (PhD) |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de Bolonia |
Tesis | Expresando movilidad en álgebras de procesos: paradigmas de primer orden y de orden superior (1993) |
Asesor de doctorado | Robin Milner |
Sitio web | www |
Sus intereses de investigación se encuentran en los campos de sistemas concurrentes, semántica y técnicas de verificación. [3] [4] [5] [6]
Es miembro y ex presidente del Grupo de Trabajo 2.2 del IFIP sobre la descripción formal de los conceptos de programación y miembro de la Academia Europaea . Es el jefe del Equipo de Investigación FOCUS, un laboratorio conjunto entre la Universidad de Bolonia e INRIA .
enlaces externos
Referencias
- ^ Publicaciones de Davide Sangiorgi indexadas por Google Scholar
- ^ Sangiorgi, Davide (1993). Expresando la movilidad en álgebras de procesos: paradigmas de primer orden y de orden superior (tesis doctoral). Universidad de Edimburgo . hdl : 1842/6569 . OCLC 29948444 . EThOS uk.bl.ethos.566460 .
- ^ Sangiorgi, Davide ; Walker, David (2001). El cálculo π: una teoría de los procesos móviles . Prensa de la Universidad de Cambridge . ISBN 0-521-78177-9.
- ^ Sangiorgi, Davide (2012). Introducción a la bisimulación y coinducción . Prensa de la Universidad de Cambridge . ISBN 9781107003637.
- ^ Sangiorgi, Davide ; Rutten, enero (2012). Temas avanzados en Bisimulación y Coinducción . Prensa de la Universidad de Cambridge . ISBN 9781107004979.
- ^ Davide Sangiorgi en elservidor de bibliografía DBLP