-
Mark H. Snyder
Poster Sessions
"Type-Driven Specification Refinement." Snyder, M. ITTC Advisory Board
Poster Session, Spring 2010.
"Rosetta Analysis and Verification." Austin, E., Frisby, N., Snyder,
M. ITTC...
-
Mark H. Snyder
Introduction
I like writing music. I go through cycles of writing a lot, or writing a little. I
used to write a whole lot more, and mostly for piano.
For awhile I didn't have a piano nearby, so...
-
Mark H. Snyder
Teaching Experience
Graduate Teaching Experience.
I've had many positive experiences teaching a variety of
courses while at the University of Kansas. I have designed new
courses, I have strong ex...
-
CS 112 Schedule - Fall 2018
CS 112 Schedule - Fall 2018
1 Notes
all projects will be announced throughout the semester, with their
actual deadlines based on when we get them posted; we'll always
give you enough time. The goal is...
-
Mark H. Snyder
Education
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 th...