ECOOP 2015 (series) / Amal Ahmed

Registered user since Sat 2 Apr 2016
Name: Amal Ahmed
Country: United States
Affiliation: Northeastern University
Personal website: http://www.ccs.neu.edu/home/amal/
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.
Contributions
STOP 2015 | Committee Member in Program Committee within the STOP-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ECOOP 2015-profile
View general profile
View general profile