440 Huntington Avenue
328 West Village H
Boston, MA 02115
ATTN: Amal Ahmed, 202 WVH
360 Huntington Avenue
Boston, MA 02115
Programming languages, particularly semantics and type systems for reasoning about imperative code, concurrency, security, compiler transformations, and provenance. Current focus is on 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.
Professor 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 on scaling the logical relations proof method to realistic languages—with features like memory allocation and mutation, objects, and concurrency—leading to wide use of the technique, e.g., for correctness of compiler transformations, soundness of advanced type systems, and verification of fine-grained concurrent data structures. She recently developed the first proof architecture for verifying multi-pass compilers in the presence of inter-language linking of compiled code.
Professor Ahmed has served on numerous program committees in her field of programming languages, including POPL, ICFP, LICS, and ESOP. She has been a regular invited lecturer at the annual Oregon Programming Languages Summer School (OPLSS) 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 ICFP, PLMW, and TLDI. Her awards include an NSF Career Award, a Google Faculty Research Award, and a George Van Ness Lothrop Fellowship.