ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Amal Ahmed

Registered user since Sat 2 Apr 2016

Name:Amal Ahmed
Country:United States
Affiliation:Northeastern University
Research interests:Programming languages, type systems, semantics, compiler correctness, gradual typing, contracts, language interoperability, state and effects, dependent types, provenance, language-based security, typed intermediate languages, proof-carrying code.


STOP 2015 Committee Member in Program Committee within the STOP-track
Show activities from other conferences

ECOOP 2015-profile
View general profile