Name:Paul Downen

Country:United States

Affiliation:University of Massachusetts Lowell

Research interests:Programming Languages, Logic, Type Theory, Semantics, Compilation, Verification, Security