Next: Graduate Courses & Seminars Up: Teaching Previous: Teaching Contents
Logical Foundations of Programming, Kansas State University, CIS 301, Spring&Fall of 2019 and Spring of 2020, each Fall during the years 2011-2014, and also most semesters during the years 2002-2008.
Introduction to Programming Languages, Kansas State University, CIS 505, each Fall since 2015; also Fall 2010 (with Xinming Ou) and Fall 2009 (with David Schmidt).
Introduction to Algorithm Analysis, Kansas State University, CIS 575, each Spring since 2013.
Compiler Design Theory, Boston University, CS 525, Spring 2001 (with Assaf Kfoury).