Sun 22 - Fri 27 October 2023 Cascais, Portugal
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 2023 Committee Member in Steering Committee
Show activities from other conferences

Using general profile