Mark Snyder
Term Assistant Professor
Office
Engineering 5346
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.