معرفی
Amal Ahmed is a Professor at Khoury College of Computer Sciences, Northeastern University, where she leads the SILC (Secure Interoperability, Languages, and Compilers) research group. She holds a Ph.D. in Computer Science from Princeton University. Her research focuses on programming languages, compilers, and software security, with emphasis on compiler verification, language interoperability, type systems, gradual typing, and secure compilation. She teaches courses including CS7470 (Seminar in PL: Logical Relations) and CS7400 (Intensive Principles of Programming Languages).
Research Focus
Dr. Ahmed's work bridges theoretical foundations and practical implementation, exploring: semantics and type systems for imperative/probabilistic languages; safe multi-language interoperability; compiler correctness; gradual typing; and provenance. Her recent publications demonstrate strong emphasis on secure compilation techniques, WebAssembly interoperability, and formal verification of compiler transformations.
Professional Recognition
- NSF CAREER Award recipient
- Keynote speaker at major conferences including OOPSLA 2023, LICS 2022, and ESOP 2018
- Program chair for POPL 2023 and OOPSLA 2022
- Editorial board member for Journal of Functional Programming and Mathematical Structures in Computer Science
Research Team & Students
Dr. Ahmed leads an active research group with 7 PhD students and 1 postdoc. She has graduated 4 PhD students who now hold academic positions at University of Michigan, UBC, and Northeastern. Her mentorship extends to numerous MS students and undergraduates, with several receiving NSF GRFP awards.
