Davide Sangiorgi

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 en la Universidad de Edimburgo bajo la supervisión de Robin Milner en 1993. ^[2] Ha ocupado puestos visitantes en el Centrum Wiskunde & Informatica (CWI, Ámsterdam), la Universidad de Cambridge y la Universidad de Oxford .

Sus intereses de investigación se encuentran en los campos de sistemas concurrentes , semántica y técnicas de verificación formal . ^{[3] [4] [5] [6]}

Es miembro y ex presidente del Grupo de Trabajo 2.2 de IFIP sobre la descripción formal de 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

• Página de inicio de Davide Sangiorgi
• Currículum vitae

Referencias

1. Publicaciones de Davide Sangiorgi indexadas por Google Scholar
2. Sangiorgi, Davide (1993). Expresar 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.
3. Sangiorgi, Davide; Caminante, David (2001). El cálculo π: una teoría de procesos móviles . Prensa de la Universidad de Cambridge . ISBN 0-521-78177-9.
4. Sangiorgi, Davide (2012). Una introducción a la bisimulación y la coinducción . Prensa de la Universidad de Cambridge . ISBN 9781107003637.
5. Sangiorgi, Davide; Rutten, enero (2012). Temas Avanzados en Bisimulación y Coinducción . Prensa de la Universidad de Cambridge . ISBN 9781107004979.
6. Davide Sangiorgi en el servidor de bibliografía DBLP