Professor Ahmed’s research concerns programming languages and language-based security, with a focus on semantics, type systems, security-preserving compilation, and software contracts. She is known for her work on logical relations, a proof method for establishing a wide variety of properties of programs, programming languages, and compilers, including type safety, equivalence of program components, correctness of compiler transformations and optimizations, and confidentiality guarantees in languages for information-flow security.
Professor Ahmed joined the Northeastern faculty from Indiana University, where she was an assistant professor in the School of Informatics and Computing. Earlier, she was a research assistant professor at the Toyota Technological Institute at Chicago and a postdoctoral fellow at Harvard University. In addition to a PhD from Princeton University, where she was awarded the George Van Ness Lothrop Fellowship in Engineering, Professor Ahmed holds a bachelor’s degree in Computer Science and Economics from Brown University and a master’s in Computer Science from Stanford University.