معرفی
Amal Ahmed is a Professor and Associate Dean for Graduate Programs at the Khoury College of Computer Sciences, Northeastern University, USA. Her research focuses on correct and secure compilation, safe language interoperability, and logical relations, with a strong emphasis on bridging high-level abstractions to low-level code.
- Education: PhD in Computer Science, Princeton University.
Her work addresses challenges in multi-language systems, gradual typing, and type-preserving compiler design, leveraging formal semantics and logical relations to ensure security and correctness. Recent projects include advancements in WebAssembly interoperability and probabilistic separation logic.
Amal's research has resulted in 15 recent publications spanning areas like semantic realizability, modal logic, and parametricity in gradual typing. She mentors a dynamic research group including postdocs, PhD, and undergraduate students, and has contributed extensively to program committees and workshops in programming languages, including POPL, ICFP, and OOPSLA.
- Labs/Teams: Leads the SILC (Secure Interoperability, Languages, and Compilers) group and contributes to the Northeastern Programming Research Lab.
