阿姆尔·萨布里：编程语言先驱 | AI生成和翻译
Amr Sabry是计算机科学领域的杰出学者，现任印第安纳大学卢迪信息、计算与工程学院教授。他在印第安纳大学参与了多个研究团队，包括编程语言小组、计算基础小组、纯应用逻辑项目以及IU量子科学与工程中心（QSEc）。
在加入印第安纳大学之前，他曾在多所知名学府任职：俄勒冈大学（1995-2000）、查尔默斯理工大学（1994-1995）、卡内基梅隆大学（1993-1994）、莱斯大学（1989-1993）以及开罗大学（1981-1989）。他先后毕业于莱斯大学与开罗大学，师从著名计算机科学家Matthias Felleisen。
Amr Sabry的研究主要聚焦于编程语言的语义学、逻辑基础及实现技术，在该领域多个方向做出重要贡献：
- 延续与延续传递风格（CPS）：他与Matthias Felleisen合作发表了一系列具有影响力的论文，系统阐述了延续操作的类型系统、逻辑基础及其在函数式语言编译中的应用
- 计算效应与单子：其研究涵盖单子效应的推理与分阶段计算，其中与Eugenio Moggi合作的研究通过二阶多态性为单子封装效应的正确性提供了决定性证明
- 类型理论与逻辑基础：致力于编程语言的理论基础研究，涉及逻辑基础及类型理论的多个维度，包括同伦类型论
- 量子计算：近年研究延伸至量子计算的编程语言模型与量子算法，曾发表关于Haskell绝热领域专用语言处理量子优化问题、量子线路经典模拟等主题的论文
- 可逆计算：在可逆计算模型与可逆编程领域亦有深入探索
作为高产学者，Amr Sabry著有大量学术文献，其较高的h指数印证了他在该领域的重要学术影响力。