ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague 1, Czech Republic
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.

ECOOP 2015 Activities

ECOOP 2015-profile
View general profile