Марианджола Дезани-Чианкаглини
Марианджиола Дезани-Чианкаглини (родилась 22 декабря 1946 года) — итальянский логик и учёный-теоретик в области информатики, чьи темы исследований включают теорию типов и дисциплины типа пересечения , лямбда-исчисление и семантику языков программирования . Она является почетным профессором Туринского университета .
Образование и карьера
[ редактировать ]Дезани-Чианкаглини родился 22 декабря 1946 года в Турине. Получив степень магистра физики в Туринском университете в 1970 году и работая исследователем в Турине в качестве научного сотрудника CNR , она стала доцентом кафедры информатики в Турине в 1972 году и профессором в 1981 году. [1]
Продолжая работать профессором, она получила степень доктора философии. из Католического университета Неймегена в Нидерландах в 1996 году. [1] Ее диссертацию « Логическая семантика для параллельного лямбда-исчисления » продвигали совместно Хенк Барендрегт и Коррадо Бём . [2]
С 2005 по 2008 год она работала деканом факультета информатики в Туринском университете, а в 2018 году вышла на пенсию и стала почетным профессором. [3]
Признание
[ редактировать ]Дезани-Чианкаглини был избран членом Европейской академии в 1993 году. [1] В 2015 году она была названа членом Европейской ассоциации теоретической информатики «за выдающиеся и плодотворные достижения в области формальных методов и основ языков программирования, внедрения или разработки новых систем типов для лямбда-исчисления, а также для пи-исчисления и родственные исчисления». [4]
Ссылки
[ редактировать ]- ^ Jump up to: а б с «Марианджола Дезани-Чианкаглини» , Профиль участника , Academia Europaea , получено 5 октября 2020 г .; см. также прилагаемое резюме
- ^ Марианджиола Дезани-Чианкаглини в проекте «Математическая генеалогия»
- ^ Краткое резюме , Туринский университет , получено 5 октября 2020 г.
- ^ Назван стипендиат EATCS 2015 года , Европейская ассоциация теоретической информатики , получено 5 октября 2020 г.
Внешние ссылки
[ редактировать ]- Домашняя страница
- Публикации Марианджиолы Дезани-Чианкаглини, проиндексированные Google Scholar
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- 1946 года рождения
- Живые люди
- Итальянские ученые-компьютерщики
- Итальянские математики
- Итальянские женщины-математики
- Итальянские женщины-компьютерщики
- Выпускники Туринского университета
- Академический состав Туринского университета
- Выпускники Университета Радбауд в Неймегене
- Члены Европейской академии
- Национальный исследовательский совет (Италия) люди