Greg Morrisett - Greg Morrisett

Greg Morrisett
Alma materUniverzita Carnegie Mellon
Vědecká kariéra
PolePočítačová věda
InstituceCornell University, Harvardská Univerzita
TezeKompilace s typy  (1995)
Doktorský poradceRobert Harper
webová stránkatech.cornell.edu/lidé/ greg-morrisett/

John Gregory „Greg“ Morrisett je děkan Jack and Rilla Neafsey a místopředseda proboštství Cornell Tech.[1] Předtím byl děkanem Fakulty výpočetní a informační vědy na Cornellově univerzitě.[2] Morrisett byl profesorem informatiky Allen B. Cutting v USA Harvardská škola inženýrství a aplikovaných věd před jeho pozicí v Cornellu.[3]

Jeho skupina v Cornell University vytvořil Cyklónový programovací jazyk.[4]

Jeho současné výzkumné zájmy jsou v aplikacích technologie programovacího jazyka pro budování bezpečných a spolehlivých systémů. Zejména se zajímá o aplikace pro pokročilé systémy typu, model dáma, certifikující překladače, kontrolní kód a vložené referenční monitory pro efektivní a efektivní budování prokazatelně bezpečný systémy. Zajímá se také o design a použití jazyků na vysoké úrovni pro nové nebo vznikající domény, jako jsou senzorové sítě.

Získal titul PhD Jeannette Wing a Robert Harper na Univerzita Carnegie Mellon v roce 1995.

V roce 2013 se stal a Člen sdružení pro výpočetní techniku.[5]

Reference

  1. ^ „Cornell Tech - Greg Morrisett jmenován děkanem Cornell Tech“. Cornell Tech. 2019-06-07. Citováno 2020-01-02.
  2. ^ „Greg Morrisett se vrátí do Cornellu jako děkan SNS“. Citováno 2015-03-29.
  3. ^ „John Gregory Morrisett - Harvard School of Engineering and Applied Sciences“. Adresář SEAS. Harvardská škola inženýrství a aplikovaných věd. Citováno 2010-01-23.
  4. ^ Knight, Will (2001-11-16). ""Cyclone „vyhodí počítačové chyby z kódu“. Nový vědec. Citováno 2010-01-23.
  5. ^ ACM jmenuje členy pro výpočet pokroku, který transformuje vědu a společnost Archivováno 2014-07-22 na Wayback Machine, Sdružení pro výpočetní techniku, přístup 10. 12. 2013.

externí odkazy