| Давиде Санджорджи | |
|---|---|
| Альма-матер | Эдинбургский университет (доктор философии) |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Болонский университет |
| Тезис | Выражение мобильности в алгебрах процессов: парадигмы первого и высшего порядка (1993) |
| Докторант | Робин Милнер |
| Веб-сайт | www |
Давиде Санджорджи - итальянский профессор информатики в Болонском университете . [1] Ранее он занимал исследовательские должности в Эдинбургском университете и в Инриа . Он получил степень доктора философии в Университете Эдинбурга под руководством Робин Милнер в 1993 году [2] Он имел посещения позиций в Centrum Wiskunde & Informatica (КРИ, Амстердам), Кембриджский университет , Оксфордский университет .
Его исследовательские интересы лежат в области параллельных систем, семантики и методов проверки. [3] [4] [5] [6]
Он является членом и бывшим председателем Рабочей группы 2.2 IFIP по формальному описанию концепций программирования, а также членом Academia Europaea . Он является руководителем исследовательской группы FOCUS, совместной лаборатории Болонского университета и INRIA .
Внешние ссылки [ править ]
 | В Wikiquote есть цитаты, связанные с: Davide Sangiorgi |
Ссылки [ править ]
- ^ Публикации Давиде Санджорджи, проиндексированные Google Scholar
- ^ Sangiorgi, Давиде (1993). Выражение мобильности в алгебрах процессов: парадигмы первого и высшего порядка (кандидатская диссертация). Эдинбургский университет . hdl : 1842/6569 . OCLC 29948444 . EThOS uk.bl.ethos.566460 .
- ^ Санджорджи, Давиде ; Уокер, Дэвид (2001). Π-исчисление: теория мобильных процессов . Издательство Кембриджского университета . ISBN 0-521-78177-9.
- ^ Sangiorgi, Давиде (2012). Введение в бисимуляцию и коиндукцию . Издательство Кембриджского университета . ISBN 9781107003637.
- ^ Санджорджи, Давиде ; Руттен, янв (2012). Продвинутые темы бисимуляции и коиндукции . Издательство Кембриджского университета . ISBN 9781107004979.
- ^ Давид Санджорджи насервере библиографии DBLP
