- correct and secure compilation
- linking types for multi-language software
- typed compilation of dependent types
- +۱۲ مورد دیگر
Amal Ahmed is a Professor and Associate Dean for Graduate Programs at Khoury College of Computer Sciences, Northeastern University, USA. Her career spans over two decades, with a focus on correct and secure compilation , safe language interoperability , and semantic type systems . Research Interests: Her work addresses key challenges in Secure compilation across software-hardware stacks Design of sound foreign-function interfaces (FFIs) Typed compiler intermediate languages for multi-language systems Probabilistic and modal separation logic Gradual typing with parametricity Provenance and concurrency semantics Recent Publications highlight advancements in application binary interfaces , probabilistic logic , WebAssembly interoperability , and gradual typing . These works span POPL , ICFP , LICS , and PLDI , with collaborations across institutions like Cornell and UBC. Scientific Recognition: NSF CISE CAREER Workshop awardee (2016) Editorial Board, Journal of Functional Programming (2017–present) Editorial Board, Mathematical Structures in Computer Science (2016–present) Advising & Mentorship: She mentors PhD students like John Li (co-advised with Steven Holtzen) and Andrew Wagner, alongside postdocs and undergraduates. Alumni include Daniel Patterson (Assistant Teaching Professor at Northeastern), Max New (Assistant Professor at U. Michigan), and William Bowman (Assistant Professor at UBC). Professional Leadership: Active in program committees for POPL , OOPSLA , and LICS , she co-organizes workshops like Dagstuhl Seminars and chairs PLDI 2024 and POPL 2023 .












