Greg Morrisett - Greg Morrisett

Greg Morrisett
Olma materKarnegi Mellon universiteti
Ilmiy martaba
MaydonlarKompyuter fanlari
InstitutlarKornell universiteti, Garvard universiteti
TezisTurlari bilan kompilyatsiya qilish  (1995)
Doktor doktoriRobert Xarper
Veb-sayttexnik.cornell.edu/ odamlar/ greg-morrisett/

Jon Gregori "Greg" Morrisett Jek va Rilla Nafsi dekani va vitse-provayder Cornell Tech.[1] U ilgari Kornel universitetining hisoblash va axborot fanlari fakulteti dekani bo'lgan.[2] Morrisett Allen B. Kompyuter fanlari bo'yicha professor edi Garvard muhandislik va amaliy fanlar maktabi Korneldagi lavozimidan oldin.[3]

Uning guruhi Kornell universiteti yaratgan Siklon dasturlash tili.[4]

Uning hozirgi ilmiy qiziqishlari ishonchli va ishonchli tizimlarni yaratish uchun dasturlash tili texnologiyasini qo'llashga qaratilgan. Xususan, u ilg'or dasturlarga qiziqadi tipdagi tizimlar, shashka modellari, sertifikatlovchi kompilyatorlar, tasdiqlovchi tashish kodi, va samarali qurish uchun chizilgan mos yozuvlar monitorlari ishonchli tarzda xavfsiz tizimlar. Shuningdek, u sensorli tarmoqlar kabi yangi yoki paydo bo'layotgan domenlar uchun yuqori darajadagi tillarni ishlab chiqish va qo'llash bilan qiziqadi.

Doktorlik dissertatsiyasini doktori darajasida oldi Jeannette Wing va Robert Xarper da Karnegi Mellon universiteti 1995 yilda.

2013 yilda u a Hisoblash texnikasi assotsiatsiyasi a'zosi.[5]

Adabiyotlar

  1. ^ "Cornell Tech - Greg Morrisett Cornell Tech dekani nomlandi". Cornell Tech. 2019-06-07. Olingan 2020-01-02.
  2. ^ "Greg Morrisett Kornelga MDH dekani sifatida qaytadi". Olingan 2015-03-29.
  3. ^ "Jon Gregori Morrisett - Garvard muhandislik va amaliy fanlar maktabi". SEAS katalogi. Garvard muhandislik va amaliy fanlar maktabi. Olingan 2010-01-23.
  4. ^ Knight, Will (2001-11-16). ""Tsiklon "kompyuterdagi xatolarni koddan chiqarib tashlamoqda". NewScientist. Olingan 2010-01-23.
  5. ^ ACM fan va jamiyatni o'zgartiradigan yutuqlarni hisoblash uchun o'zlarining izdoshlarini nomlaydi Arxivlandi 2014-07-22 da Orqaga qaytish mashinasi, Hisoblash texnikasi assotsiatsiyasi, 2013-12-10 kunlari kirish.

Tashqi havolalar