Amal Ahmed

Professor · College of Computer Sciences

Programming languagesCorrect and secure compilationGradual typingSafe language interoperability

简介

Amal Ahmed is an associate dean of graduate programs and a professor in the Khoury College of Computer Sciences at Northeastern University, based in Boston. Ahmed's research involves programming languages and compiler verification with a focus on type systems, semantics, secure compilation, gradual typing, and software contracts. Her work scaling the logical relations proof method to realistic languages with various features was widely used for the correctness of compiler transformations, soundness of advanced type systems, and verification of fine-grained concurrent data structures. Ahmed also developed the first proof architecture for verifying multi-pass compilers in the presence of inter-language linking of compiled code. Ahmed has served on numerous program committees in her field of

教育经历

PhD in Computer Science, Princeton University
MS in Computer Science, Stanford University
BA in Computer Science and Economics, Brown University

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。