Проф. Грег Морисет

Грег Морисет е декан и вице-ректор на Cornell Tech, базиран в Ню Йорк кампус, фокусиран върху следдипломно обучение, което интегрира технологии, бизнес, право и дизайн в служба на икономическото въздействие и общественото благо. Преди това Морисет е бил декан на Колежа по компютърни и информационни науки (CIS) в университета Корнел, в който се помещават катедрите по компютърни науки, информационни науки и статистически науки. Преди това е заемал Allen B. Cutting Chair по компютърни науки в Харвардския университет от 2004 до 2015 г. В Харвард е бил също така асоцииран декан по компютърни науки и електроинженерство и директор на Центъра за изследвания на изчисленията и обществото. Преди Харвард, Морисет прекарва осем години като преподавател в Катедрата по компютърни науки на Корнел. Получава бакалавърска степен от Университета на Ричмънд и магистърска и докторска степен от Университета Карнеги Мелън.

Изследванията на професор Морисет се фокусират върху прилагането на технологията на езиците за програмиране за изграждане на сигурни, надеждни и високоефективни софтуерни системи. Обща тема е фокусът върху езиците и инструментите на системно ниво, които могат да помогнат за откриване или предотвратяване на често срещани уязвимости в софтуера. Минали примери включват типизиран асемблерен език, код, носещ доказателства, софтуерна изолация на грешки и изолация на контролния поток. Наскоро неговите изследвания се фокусират върху изграждането на доказуемо правилен и сигурен софтуер, включително фокус върху криптографски схеми, машинно обучение и компилатори.

Морисет е член на ACM и е получил редица награди за своите изследвания в областта на езиците за програмиране, типовите системи и софтуерната сигурност, включително Президентска награда за млади учени и инженери, IBM Faculty Fellowship, Награда за кариера на Националната научна фондация (NSF) и Стипендия на Алфред П. Слоун.

Той е бил главен редактор на Journal of Functional Programming и асоцииран редактор на ACM Transactions on Programming Languages and Systems, Information Processing Letters и Journal of the ACM. В момента е съ-главен редактор на рубриката Research Highlights на Communications of the ACM. В допълнение, Морисет е бил член на DARPA Information Science and Technology Study (ISAT) Group, Консултативния съвет на NSF Computer and Information Science and Engineering (CISE), Консултативния съвет на Института Макс Планк за софтуерни системи, Борда на Computing Research Association, Техническия консултативен съвет на Microsoft Research, Академичния консултативен съвет на Microsoft за надеждни компютри и Техническия консултативен съвет на Fortify.