ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Amal Ahmed

Registered user since Sat 2 Apr 2016

Name: Amal Ahmed

Country: United States

Affiliation: Northeastern University, USA

Personal website: http://www.ccs.neu.edu/home/amal/

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

Contributions

ETAPS 2019 Committee Member in Steering Committee
Show activities from other conferences

ETAPS 2019-profile
View general profile