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

Personal website:

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