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