Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Amal Ahmed

Registered user since Sat 2 Apr 2016

Name:Amal Ahmed
Country:United States
Affiliation:Northeastern University, USA
Research interests:correct and secure compilation, linking types for multi-language software, typed compilation of dependent types, semantics and logical relations, gradual typing, safe language interoperability


SPLASH 2022 Committee Member in Steering Committee
OOPSLA Review Committee Chair in Organizing Committee
Chair in Review Committee within the OOPSLA-track
Committee Member in Overview Committee within the COVID Time Papers In Person-track
Show activities from other conferences

Using general profile