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.