Джордж Некула
-
Биография и образование
- Джордж Чиприан Некула — румынский ученый-компьютерщик и инженер Google.
- Родился в Байя-Маре, Румыния.
- Получил степень бакалавра компьютерных наук в Политехническом университете Бухареста в 1992 году.
- Получил степени магистра и доктора философии в Университете Карнеги-Меллона в 1995 и 1998 годах соответственно.
-
Исследования и достижения
- Известен своей докторской работой, в которой впервые описан код, содержащий доказательства.
- В 2007 году получил премию SIGPLAN за самую влиятельную работу в области POPL.
- В его докторской работе представлен защищенный код, позволяющий безопасно запускать ненадежный машинный код без снижения производительности.
-
Карьера и преподавание
- Начал преподавать в Калифорнийском университете в Беркли в 1998 году.
- В настоящее время работает над инструментами анализа, верификации и преобразования для C, включая CIL, CCured и Deputy.
-
Промежуточный язык C
- Промежуточный язык Си (CIL) — упрощенное подмножество языка программирования Си.
- Набор инструментов для преобразования программ на Си в CIL.
- Используется другими инструментами, такими как Frama-C, для доступа к абстрактному синтаксическому дереву языка Си.
-
Награды и признание
- Стипендиат Фонда Окавы и Фонда Альфреда П. Слоуна.
- Получил премию Грейс Мюррей Хоппер в 2001 году.
- Премия Национального научного фонда за карьеру в 1999 году.
- Премия Зала славы ACM SIGOPS в 2006 году.