Джордж Некула
Джордж Некула | |
|---|---|
 Джордж Некула в Беркли в 2010 году. | |
| Национальность | румынский |
| Альма-матер | Политехнический университет Бухареста |
| Известный | Код подтверждения |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | |
| Докторантура | Питер Ли |
Джордж Чиприан Некула — румынский ученый-компьютерщик , инженер Google и бывший профессор Калифорнийского университета в Беркли , который занимается исследованиями в области языков программирования и разработки программного обеспечения , уделяя особое внимание проверке программного обеспечения и формальным методам . Он наиболее известен своей докторской степенью. дипломная работа, в первую очередь описывающая код доказательства , [1] работа, получившая в 2007 году награду SIGPLAN Most Influential POPL Paper Award . [2]
Жизнь и работа [ править ]
Родом из Бая-Маре , Румыния . [3] Некула получил степень бакалавра компьютерных наук (1992) в Политехническом университете Бухареста . Затем он приехал в Университет Карнеги-Меллона в США, получив степень магистра компьютерных наук (1995 г.) и доктора компьютерных наук (1998 г.) под руководством исследователя языков программирования Питера Ли . В его докторской работе был представлен код, несущий доказательства , который сыграл важную роль в качестве механизма, позволяющего безопасно выполнять ненадежный машинный код без снижения производительности. В 1998 году он поступил на должность преподавателя в Калифорнийский университет в Беркли .
Совсем недавно работа Necula была сосредоточена на инструментах анализа, проверки и преобразования с открытым исходным кодом для C , включая C Intermediate Language (CIL), CCured [1] и заместитель [2] .
C Средний язык [ править ]
C Intermediate Language (CIL) — это упрощенное подмножество языка программирования C , а также набор инструментов для преобразования программ C на этот язык. [4] [5] [6] Некоторые другие инструменты используют CIL как способ доступа к дереву абстрактного синтаксиса C. Одной из таких программ является Frama-C (Framework to Analysis C program).
Награды [ править ]
Некула является членом Фонда Окавы и Фонда Альфреда П. Слоана (см. Стипендия Слоана ). он получил премию Грейс Мюррей Хоппер . В 2001 году [7] премия Национального научного фонда «КАРЬЕРА» в 1999 г., [8] ACM SIGOPS в 2006 году. и награда Зала славы [9]
Ссылки [ править ]
- ^ Джордж К. Некула. Компиляция с доказательствами . Докторская диссертация, Школа компьютерных наук, Университет Карнеги-Меллона, сентябрь 1998 г.
- ^ СИГПЛАН (24 января 2010 г.). «Самая влиятельная награда POPL Paper» . АКМ. Архивировано из оригинала 2 августа 2009 г. Проверено 2 февраля 2010 г.
- ^ Джордж Некула (весна 2010 г.). «Домашняя страница Джорджа Некулы» . Проверено 3 февраля 2010 г.
- ^ Джордж К. Некула; Скотт МакПик; Шри Пракаш Рахул; Уэстли Веймер (2002). CIL: Промежуточный язык и инструменты для анализа и преобразования программ на языке C. Учеб. 11-я Международная конференция. по построению компилятора. Спрингер. стр. 213–228. ISBN 3-540-43369-4 .
- ^ «GitHub — cil-project/Cil: Промежуточный язык C» . Гитхаб .
- ^ http://portal.acm.org/citation.cfm?id=727796 CIL: Промежуточный язык и инструменты для анализа и преобразования программ на языке C. Конспекты лекций по информатике; Том. 2304 Материалы 11-й Международной конференции по построению компиляторов. Страницы: 213 - 228. Год издания: 2002. ISBN 3-540-43369-4
- ^ Ассоциация вычислительной техники (2001). «Цитирование премии ACM / Джордж Некула» . Архивировано из оригинала 19 апреля 2012 г. Проверено 2 февраля 2010 г.
- ^ Национальный научный фонд (22 июня 2002 г.). «Резюме премии № 9875171 — КАРЬЕРА: Логический подход к целостности и безопасности программных систем» . Проверено 2 февраля 2010 г.
- ^ Ассоциация вычислительной техники (2010). «СИГОПС — награда Зала славы» . Проверено 2 февраля 2010 г.
