Contact InformationMark Snyder
Department of Computer Science
George Mason University
4400 University Drive
Fairfax, VA 22030
marks at cs dot gmu dot edu
I earned my PhD in Computer Science at the University of Kansas in July 2011, and earned my master's degree there in 2007. I earned my bachelor's degree in computer science at the University of North Carolina at Chapel Hill in 2004 with a minor in Mathematics.
I am a term assistant professor at George Mason University. I am excited to be teaching introductory programming (CS 1), as well as introductory systems materials to upperclassmen. Soon I will also begin teaching a languages survey course, too, where I believe I would feel most at home with the materials.
I am interested in language interpretation, type-driven language specifiation, language semantics, type systems, domain specific languages, compilation and systems level design.