Джордж Некула

  • Биография и образование

    • Джордж Чиприан Некула — румынский ученый-компьютерщик и инженер Google.  
    • Родился в Байя-Маре, Румыния.  
    • Получил степень бакалавра компьютерных наук в Политехническом университете Бухареста в 1992 году.  
    • Получил степени магистра и доктора философии в Университете Карнеги-Меллона в 1995 и 1998 годах соответственно.  
  • Исследования и достижения

    • Известен своей докторской работой, в которой впервые описан код, содержащий доказательства.  
    • В 2007 году получил премию SIGPLAN за самую влиятельную работу в области POPL.  
    • В его докторской работе представлен защищенный код, позволяющий безопасно запускать ненадежный машинный код без снижения производительности.  
  • Карьера и преподавание

    • Начал преподавать в Калифорнийском университете в Беркли в 1998 году.  
    • В настоящее время работает над инструментами анализа, верификации и преобразования для C, включая CIL, CCured и Deputy.  
  • Промежуточный язык C

    • Промежуточный язык Си (CIL) — упрощенное подмножество языка программирования Си.  
    • Набор инструментов для преобразования программ на Си в CIL.  
    • Используется другими инструментами, такими как Frama-C, для доступа к абстрактному синтаксическому дереву языка Си.  
  • Награды и признание

    • Стипендиат Фонда Окавы и Фонда Альфреда П. Слоуна.  
    • Получил премию Грейс Мюррей Хоппер в 2001 году.  
    • Премия Национального научного фонда за карьеру в 1999 году.  
    • Премия Зала славы ACM SIGOPS в 2006 году.  

Полный текст статьи:

Джордж Некула

Оставьте комментарий

Прокрутить вверх