Габриэле Келлер

Ученый-компьютерщик

Габриэле Корнелия Келлер — компьютерный ученый, чьи исследования касаются систем типов и параллелизма данных в функциональном программировании . Получив образование в Германии, она работала в Австралии, США и Нидерландах, где она является профессором программных систем в Утрехтском университете .

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

Келлер получила степень в области компьютерных наук в Техническом университете Берлина в 1995 году, а после работы в немецкой индустрии программного обеспечения получила докторскую степень ( доктор технических наук) в Техническом университете Берлина в 1999 году. [1] Ее диссертация «Реализация вложенного параллелизма данных на основе преобразований для машин с распределенной памятью » была написана под руководством Стефана Йенихена  [de] . [2]

Она стала преподавателем в Сиднейском технологическом университете в Австралии с 1999 по 2001 год, после чего перешла в Университет Нового Южного Уэльса . Она была старшим преподавателем там с 2001 по 2013 год (в отпуске в 2006 году в качестве вице-президента Credit Suisse в Нью-Йорке) и доцентом с 2014 по 2018 год. [1] В 2018 году она заняла свою нынешнюю должность в Утрехтском университете в качестве профессора программных технологий. [3]

Признание

Работа Келлера с Мануэлем М. Т. Чакраварти и Саймоном Пейтоном Джонсом по разработке системы для семейств типов и программирования на уровне типов в Haskell получила премию «Самая влиятельная статья ICFP» от ACM SIGPLAN спустя десять лет после ее публикации в 2005 году. [4]

Книга

Келлер является автором книги «Введение в вычисления на языке Haskell» (Pearson, 2002, совместно с Мануэлем М. Т. Чакраварти). [5]

Ссылки

  1. ^ ab Краткое резюме, Утрехтский университет , получено 2024-03-06
  2. ^ Габриэле Келлер в проекте «Генеалогия математики»
  3. ^ Габриэле Келлер новый профессор программных технологий в Утрехте, Утрехтский университет, 6 июля 2018 г. , получено 2024-03-06
  4. ^ Премия за самую влиятельную работу ICFP, ACM SIGPLAN , получено 06.03.2024
  5. Томас, Майк (январь 2004 г.), Обзор книги «Введение в вычисления на языке Haskell», т. 14, Cambridge University Press (CUP), стр.  247–249 , doi :10.1017/s0956796803215033
  • Профиль факультета
  • Публикации Габриэле Келлер, проиндексированные Google Scholar
Взято с "https://en.wikipedia.org/w/index.php?title=Габриэле_Келлер&oldid=1236982421"