Associate Professor in Computer Science
2013
Advanced models and programs
2012
Introductory programming (requires learnit login)
2010
Introductory programming
2009
Provably correct software
2008
Program design
2007