Biography
Amal Ahmed is 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 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 earned honors include an NSF Career Award, a Google Faculty Research Award, and a George Van Ness Lothrop Fellowship.
Before joining Northeastern, Ahmed was an assistant professor at Indiana University for three years, a research assistant professor at the Toyota Technological Institute at Chicago for three years, and a postdoctoral fellow at Harvard University for two years.
