Mark Snyder
Term Associate Professor and Associate Chair
Office
Engineering 4304
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.