Greg Morrisett ... Greg Morrisett
Greg Morrisett | |
---|---|
gidilen okul | Carnegie Mellon Üniversitesi |
Bilimsel kariyer | |
Alanlar | Bilgisayar Bilimi |
Kurumlar | Cornell Üniversitesi , Harvard Üniversitesi |
Tez | Türlerle Derleme (1995) |
Doktora danışmanı | Robert Harper |
İnternet sitesi | tech |
John Gregory Morrisett, Jack ve Rilla Neafsey Dekanı ve Cornell Tech'in Başkan Yardımcısıdır . Daha önce Cornell Üniversitesi Bilgisayar ve Bilgi Bilimi Fakültesi Dekanıydı. Morrisett, Cornell'deki görevinden önce Harvard Mühendislik ve Uygulamalı Bilimler Okulu'nda Allen B. Kesme Bilgisayar Bilimleri Profesörü idi .
Cornell Üniversitesi'ndeki grubu Cyclone programlama dilini yarattı .
Şu anki araştırma ilgi alanları, güvenli ve güvenilir sistemler oluşturmak için programlama dili teknolojisi uygulamalarındadır. Özellikle, verimli ve kanıtlanabilir şekilde güvenli sistemler oluşturmak için gelişmiş tip sistemler , model denetleyiciler , onaylayıcı derleyiciler, kanıt taşıyan kod ve satır içi referans monitörleri uygulamaları ile ilgilenmektedir . Ayrıca sensör ağları gibi yeni veya gelişmekte olan alanlar için yüksek seviyeli dillerin tasarımı ve uygulamasıyla da ilgileniyor.
O altında dalında doktora Jeannette Wing ve Robert Harper de , Carnegie Mellon Üniversitesi'nde 1995 yılında.
2013 yılında Hesaplama Makineleri Derneği Üyesi oldu .