格雷格·莫里塞特：科技领域的学术领袖 | AI生成和翻译
格雷格·莫里塞特是一位杰出的计算机科学学者和学术领袖，自2019年6月起担任纽约市康奈尔理工学院的杰克与瑞拉·尼夫西院长兼副教务长。康奈尔理工学院是康奈尔大学专注于研究生教育的校区，致力于融合技术、商业、法律和设计以实现经济与社会影响力。
教育与早期生涯： 莫里塞特在里士满大学获得数学与计算机科学理学学士学位，随后于卡内基梅隆大学攻读研究生课程，先后获得计算机科学硕士和博士学位。他的学术导师是姜晶焕与罗伯特·哈珀。
他在康奈尔大学计算机科学系开始了教职生涯，执教八年（1996-2004年）。
职业发展与领导角色： 离开康奈尔后，莫里塞特于2004年加入哈佛大学，担任艾伦·B·卡廷计算机科学讲席教授直至2015年。在哈佛期间，他还曾兼任计算机科学与电气工程系副主任及计算与社会研究中心主任。
2015年他重返康奈尔大学，担任计算与信息科学学院院长。该学院涵盖计算机科学、信息科学与统计科学三个系。任期内他在教师招聘、学科整合以及新设立统计与数据科学系方面发挥了关键作用。
凭借在计算机科学界和学术界的深厚经验与领导力，他被任命为康奈尔理工学院院长兼副教务长。
研究与学术贡献： 莫里塞特的研究主要聚焦于应用编程语言技术构建安全、可靠、高性能的软件系统。其工作的核心脉络是开发系统级语言与工具，旨在检测或防范常见软件漏洞。
其重要研究领域与贡献包括：
- 类型化汇编语言： 为Intel x86汇编语言设计的类型系统，可实现机器码类型安全的静态验证
- 证明携带代码： 通过附加机器可验证证明来确保代码正确性的机制
- 软件故障隔离与控制流隔离： 提升软件安全性与可靠性的技术
- 可验证正确与安全软件： 近期研究延伸至构建经形式化验证的正确安全软件，重点关注密码方案、机器学习及编译器领域
- Cyclone语言： 类型安全的C语言变体，可在保持安全性的同时实现对数据表示与内存管理的精细控制
他是编程语言、编译器和理论计算机科学领域的高产学者，其著作被广泛引用。曾担任《函数式编程杂志》主编及多家权威期刊副主编，目前共同负责《ACM通讯》研究亮点专栏。
奖项与荣誉： 格雷格·莫里塞特在编程语言、类型系统和软件安全领域的贡献获得了众多荣誉，包括：
- 总统科学家与工程师早期职业奖（2000年）
- IBM教师研究奖
- 国家科学基金会职业奖（1999年）
- 阿尔弗雷德·P·斯隆研究奖
- ACM会士（2014年）
- 里士满大学荣誉博士学位（2023年）
莫里塞特因其学术成就以及与产业界、政府领袖建立联系推动科技创业的卓越能力而广受认可。