Scholar
Amal Ahmed
Google Scholar ID: Y1C007wAAAAJ
Northeastern University
Citations & Impact
Citations
1,629
H-index
24
i10-index
41
Publications
20
Co-authors
47
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Has advised multiple Ph.D. and M.S. students, some of whom have graduated and taken up faculty positions or continued their studies; has been a speaker and lecturer at various academic conferences and summer schools.
Research Experience
- Currently a Professor and Associate Dean for Graduate Programs at Khoury College of Computer Sciences, Northeastern University; works with a group of postdocs, Ph.D. students, and undergraduate students.
Education
- Ph.D. in Computer Science from Princeton University
Background
- Research interests lie in correct and secure compilation across the software-hardware stack and safe language interoperability. This includes the design of sound foreign-function interfaces (FFIs) and richly typed compiler intermediate languages to support safe mixing of code from different languages. Her work makes use of semantics and type systems for reasoning about imperative and probabilistic programming languages, multi-language systems, security, concurrency, compiler correctness, gradual typing, and provenance.
Miscellany
- Involved in several outreach and educational activities, such as ECOOP and ISSTA Summer School, NSF CISE CAREER Workshop, and more.
