Мариангиола Дезани-Чанкаглини - Mariangiola Dezani-Ciancaglini

Мариангиола Дезани-Чианкаглини (родился 22 декабря 1946 г.), итальянец логик и теоретик-информатик чьи исследовательские темы включают теория типов и дисциплины типа пересечения, лямбда-исчисление, и семантика языка программирования. Она является почетным профессором Туринский университет.

Образование и карьера

Дезани-Чианкаглини родился 22 декабря 1946 года в Турине. После получения степени магистра физики в Туринском университете в 1970 году и работы исследователем в Турине в качестве CNR В 1972 году она стала доцентом кафедры информатики в Турине, а в 1981 году - профессором.[1]

Продолжая работать профессором, она получила степень доктора философии. от Католический университет Неймегена в Нидерландах в 1996 году.[1] Ее диссертация, Логическая семантика для параллельного лямбда-исчисления, был совместно продвинут Хенк Барендрегт и Коррадо Бём.[2]

С 2005 по 2008 год она работала деканом факультета информатики Туринского университета, а в 2018 вышла на пенсию и стала почетным профессором.[3]

Признание

Дезани-Чанкаглини был избран в Academia Europaea в 1993 г.[1] В 2015 году она была названа членом Европейская ассоциация теоретической информатики «За выдающиеся и основополагающие достижения в формальных методах и основах языков программирования, введение или разработку систем нового типа для лямбда-исчисления, а также для пи-исчисления и связанных исчислений».[4]

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

  1. ^ а б c "Мариангиола Дезани-Чианкаглини", Профиль участника, Academia Europaea, получено 2020-10-05; смотрите также прилагаемая биография
  2. ^ Мариангиола Дезани-Чианкаглини на Проект "Математическая генеалогия"
  3. ^ Краткая биография, Туринский университет, получено 2020-10-05
  4. ^ Названа стипендия EATCS 2015 г., Европейская ассоциация теоретической информатики, получено 2020-10-05

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