WikiDer > Грег Моррисетт

Greg Morrisett
Грег Моррисетт
Альма-матерУниверситет Карнеги Меллон
Научная карьера
ПоляИнформатика
УчрежденияКорнелл Университет, Гарвардский университет
ТезисКомпиляция с типами (1995)
ДокторантРоберт Харпер
Интернет сайттехнология.cornell.edu/люди/ Грег-Моррисетт/

Джон Грегори "Грег" Моррисетт Джек и Рилла Нефси декан и вице-проректор Cornell Tech.[1] Ранее он был деканом факультета вычислительной техники и информатики Корнельского университета.[2] Моррисетт был профессором компьютерных наук Аллена Б. Гарвардская школа инженерии и прикладных наук до его должности в Корнелле.[3]

Его группа в Корнелл Университет создал Язык программирования Cyclone.[4]

В настоящее время его исследовательские интересы связаны с приложениями технологии языков программирования для создания безопасных и надежных систем. В частности, его интересуют приложения передовых системы типов, модельные шашки, сертифицирующие составители, код подтверждения, и встроенные эталонные мониторы для создания эффективных и доказуемо безопасный системы. Он также интересуется разработкой и применением языков высокого уровня для новых или возникающих областей, таких как сенсорные сети.

Он получил докторскую степень в Жаннетт Винг и Роберт Харпер в Университет Карнеги Меллон в 1995 г.

В 2013 году он стал Член Ассоциации вычислительной техники.[5]

Рекомендации

  1. ^ "Cornell Tech - Грег Моррисетт назначен деканом Cornell Tech". Cornell Tech. 2019-06-07. Получено 2020-01-02.
  2. ^ «Грег Моррисетт вернется в Корнелл в качестве декана по СНГ». Получено 2015-03-29.
  3. ^ «Джон Грегори Моррисетт - Гарвардская школа инженерии и прикладных наук». Справочник SEAS. Гарвардская школа инженерии и прикладных наук. Получено 2010-01-23.
  4. ^ Найт, Уилл (2001-11-16). ""Cyclone "выдувает компьютерные ошибки из кода". Новый ученый. Получено 2010-01-23.
  5. ^ ACM называет научных сотрудников по достижениям в области вычислительной техники, которые меняют науку и общество В архиве 2014-07-22 в Wayback Machine, Ассоциация вычислительной техники, дата обращения 10.12.2013.

внешняя ссылка