Mark Snyder
Professor (Teaching) and Associate Chair
Office
Buchanan Hall D217G
Phone
703-993-5624
Biography

Ph.D., University of Kansas, 2011

Language interpretation, Type-driven language specification, Language semantics, Type systems, Domain specific languages, Compilation and systems level design.