✖


Jump to content

Давиде Санджорджи

    Add links

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

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

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

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

    [ редактировать ]
    В Wikiquote есть цитаты, связанные с Давиде Санджорджи .

    Ссылки

    [ редактировать ]
    1. ^ Публикации Давиде Санджорджи, проиндексированные Google Scholar. Отредактируйте это в Викиданных
    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 библиографическом сервере Отредактируйте это в Викиданных


    П ≟ НП  

    Эта биографическая статья, посвященная ученому-компьютерщику незавершена , . Вы можете помочь Википедии, расширив ее .

    Retrieved from "https://en.wikipedia.org/w/index.php?title=Davide_Sangiorgi&oldid=1214672724"
    Arc.Ask3.Ru: конец переведенного документа.
    Arc.Ask3.Ru
    Номер скриншота №: c4dae1e67f80f5fbc9bca103096c9a3c__1710927660
    URL1:https://arc.ask3.ru/arc/aa/c4/3c/c4dae1e67f80f5fbc9bca103096c9a3c.html
    Заголовок, (Title) документа по адресу, URL1:
    Davide Sangiorgi - Wikipedia
    Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)