Back to advisors
AA

Amal Ahmed

Professor · College of Computer Sciences

Northeastern University · United States
Programming languagesCorrect and secure compilationGradual typingSafe language interoperability

About

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

Education

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

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.