Давиде Санджорджи - Davide Sangiorgi

Давиде Санджорджи
Альма-матерЭдинбургский университет (Кандидат наук)
Научная карьера
ПоляИнформатика
УчрежденияБолонский университет
ТезисВыражение мобильности в алгебрах процессов: парадигмы первого и высшего порядка  (1993)
ДокторантРобин Милнер
Интернет сайтwww.cs.unibo.Это/ ~ sangio/

Давиде Санджорджи итальянский профессор Информатика на Болонский университет.[1] Ранее он занимал исследовательские должности в Эдинбургский университет и в Inria Он получил докторскую степень в Эдинбургский университет под присмотром Робин Милнер в 1993 г.[2] Он занимал должности в Centrum Wiskunde & Informatica (CWI, Амстердам), Кембриджский университет, Оксфордский университет.

Его исследовательские интересы лежат в области параллельных систем, семантики и методов проверки.[3][4][5][6]

Он является членом и бывшим председателем Рабочая группа 2.2 ИФИП на формальном описании концепций программирования, а член Academia Europaea. Он является руководителем исследовательской группы FOCUS, совместной лаборатории Болонский университет и INRIA.

внешняя ссылка

Рекомендации

  1. ^ Давиде Санджорджи публикации, проиндексированные Google ученый Отредактируйте это в Викиданных
  2. ^ Санджорджи, Давиде (1993). Выражение мобильности в алгебрах процессов: парадигмы первого и высшего порядка (Кандидатская диссертация). Эдинбургский университет. HDL:1842/6569. OCLC  29948444. EThOS  uk.bl.ethos.566460.
  3. ^ Санджорджи, Давиде; Уокер, Дэвид (2001). Π-исчисление: теория мобильных процессов. Издательство Кембриджского университета. ISBN  0-521-78177-9.
  4. ^ Санджорджи, Давиде (2012). Введение в бисимуляцию и коиндукцию. Издательство Кембриджского университета. ISBN  9781107003637.
  5. ^ Санджорджи, Давиде; Руттен, янв (2012). Продвинутые темы бисимуляции и коиндукции. Издательство Кембриджского университета. ISBN  9781107004979.
  6. ^ Давиде Санджорджи в DBLP Сервер библиографии Отредактируйте это в Викиданных