Грег Моррисетт - Greg Morrisett

Грег Моррисетт
Алма матерКарнеги Меллон университеті
Ғылыми мансап
ӨрістерИнформатика
МекемелерКорнелл университеті, Гарвард университеті
ДиссертацияТүрлерімен құрастыру  (1995)
Докторантура кеңесшісіРоберт Харпер
Веб-сайттехнологиялық.корнелл.edu/ адамдар/ greg-morrisett/

Джон Грегори «Грег» Моррисетт Джек пен Рилла Нифси деканы және вице-провосты Cornell Tech.[1] Ол бұған дейін Корнелл университетінің есептеу және ақпараттану факультетінің деканы болған.[2] Моррисетт Аллен Б. кескіш профессоры болды Гарвард Инженерлік және қолданбалы ғылымдар мектебі Корнеллдегі қызметіне дейін.[3]

Оның тобы Корнелл университеті құрды Циклонды бағдарламалау тілі.[4]

Қазіргі кездегі ғылыми қызығушылықтары сенімді және сенімді жүйелерді құруға арналған бағдарламалау тілі технологиясын қолдану болып табылады. Атап айтқанда, ол озық қолданбаларға қызығушылық танытады типті жүйелер, модель дойбы, куәландыратын құрастырушылар, дәлелдеуші коды, және тиімді салу үшін сызылған бақылаушылар сенімді түрде қауіпсіз жүйелер. Сондай-ақ, ол сенсорлық желілер сияқты жаңа немесе пайда болатын домендерге арналған жоғары деңгейлі тілдерді жобалауға және қолдануға қызығушылық танытады.

Ол PhD докторы дәрежесін алды Жанетт Винг және Роберт Харпер кезінде Карнеги Меллон университеті 1995 ж.

2013 жылы ол а Есептеу техникасы қауымдастығының мүшесі.[5]

Әдебиеттер тізімі

  1. ^ «Cornell Tech - Грег Моррисетт Корнелл Техтің деканы аталды». Cornell Tech. 2019-06-07. Алынған 2020-01-02.
  2. ^ «Грег Моррисетт Корнеллге ТМД деканы ретінде оралады». Алынған 2015-03-29.
  3. ^ «Джон Грегори Моррисетт - Гарвард Инженерлік және қолданбалы ғылымдар мектебі». SEAS анықтамалығы. Гарвард Инженерлік және қолданбалы ғылымдар мектебі. Алынған 2010-01-23.
  4. ^ Найт, Уилл (2001-11-16). ""Циклон «компьютердегі қателерді жойып жібереді». NewScientist. Алынған 2010-01-23.
  5. ^ ACM ғылым мен қоғамды өзгертетін жетістіктерді есептеу үшін стипендиаттарды атайды Мұрағатталды 2014-07-22 сағ Wayback Machine, Есептеу техникасы қауымдастығы, қол жеткізілді 2013-12-10.

Сыртқы сілтемелер