Джулия Ловалл ⇐ Васина Википедия

[wiki_en]

«Джулия Летиция Лавалл» — ученый-компьютерщик, специализирующийся на языках программирования. Получив образование в США, она работала в США, Дании и Франции, где является директором по исследованиям компании Inria. Она является одним из разработчиков Coccinelle (программное обеспечение)|Coccinelle, инструмента для поиска закономерностей и систематического преобразования исходного кода.
==Образование и карьера==
Лоуалл специализировалась на математике в Оберлин-колледже, который окончила в 1986 году, и начала учебу в аспирантуре по информатике в Университете Карнеги-Меллон.
После получения докторской степени она работала с Гарри Мейрсоном в группе логики и вычислений в Университете Брандейса в Бостоне.
==Признание==
Лоуолл получила две награды «Проверка временем» за свои публикации. Ее статья с Гарри Мейрсоном «Оптимальность и неэффективность: чем не является стоимостная модель лямбда-исчисления?», посвященная критериям оптимизации для поиска нормальной формы (абстрактное переписывание) | нормальных форм в лямбда-исчислении, выиграла первую премию «Самые влиятельные». Бумажная награда ICFP от ACM SIGPLAN, через десять лет после ее публикации в 1996 году.













*[https://who.paris.inria.fr/Julia.Lawall/ Домашняя страница]
*
Год рождения отсутствует (живые люди)
Живые люди
Ученые-компьютерщики
Женщины-компьютерщики
Выпускники Университета Индианы
Выпускники Оберлинского колледжа
Академический состав Копенгагенского университета

Подробнее: https://en.wikipedia.org/wiki/Julia_Lawall