Skip to main content

Amal Ahmed

Associate Professor

Sy and Laurie Sternberg Interdisciplinary Associate Professor

Amal Ahmed


Office Location

440 Huntington Avenue
328 West Village H
Boston, MA 02115

Mailing Address

Northeastern University
ATTN: Amal Ahmed, 202 WVH
360 Huntington Avenue
Boston, MA 02115

Research Interests

  • Programming languages, particularly semantics and type systems for reasoning about imperative code, concurrency, security, compiler transformations, and provenance
  • Correct and secure compilation, gradual typing, and safe language interoperability


  • PhD in Computer Science, Princeton University
  • MS in Computer Science, Stanford University
  • AB in Computer Science & Economics, Brown University


Amal Ahmed is an associate professor of computer science at Northeastern University. Prior to joining Northeastern, she was an assistant professor at the School of Informatics and Computing at Indiana University (2009-2011), a research assistant professor at the Toyota Technological Institute at Chicago (2006-2009), and a postdoctoral fellow at Harvard University (2004-2006). She received her PhD from Princeton University in 2004.

Ahmed’s research involves programming languages and compiler verification with a focus on type systems, semantics, secure compilation, gradual typing, and software contracts. She is known for her work scaling the logical relations proof method to realistic languages with features such as memory allocation and mutation, objects, and concurrency. This development led to wide use of the technique for correctness of compiler transformations, soundness of advanced type systems, and verification of fine-grained concurrent data structures. Ahmed recently 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 programming languages, including ACM SIGPLAN Symposium on Principles of Programming Languages, ACM SIGPLAN International Conference on Functional Programming, IEEE Symposium on Logic in Computer Science, and the European Symposium on Programming. She has been a regular invited lecturer at the annual Oregon Programming Languages Summer School and twice served as co-organizer. She is a member of IFIP WG 2.8 (Working Group on Functional Programming) and has served on the steering committees of ACM SIGPLAN International Conference on Functional Programming, Programming Languages Mentoring Workshop, and ACM SIGPLAN Workshop on Types in Language Design and Implementation.

Her awards include an NSF Career Award, a Google Faculty Research Award, and a George Van Ness Lothrop Fellowship.