Next: Students Up: Teaching Previous: Undergraduate Courses Contents
Programming Languages, Kansas State University, CIS 705, each Fall since 2015 (joint with the undergraduate version, CIS505).
Database Management Systems, Kansas State University, CIS 761, each Spring from 2004 to 2012.
Formal Language Theory, Kansas State University, CIS 770, each Spring from 2009 to 2015, and again in 2023.
Software Specification, Kansas State University, CIS 771, each Spring from 2016 to 2018, and Fall of 2018.
Analysis of Algorithms, Kansas State University, CIS 775, each Fall since 2008 (except 2017 and 2019 and 2021).
Software Foundations (mostly on the Coq proof assistant), Kansas State University, Fall 2021.
Semantics of Programming Languages, Kansas State University, Spring 2017.
Program Analysis, Kansas State University, CIS 905, Spring 2005 (with Anindya Banerjee) and Spring 2003; CIS 890, Fall 2010.
Language Based Security, Kansas State University, CIS 890, Fall 2004 and Fall 2003 (both with Anindya Banerjee).
Programming the Web/Internet, Boston University, Fall 1999 & Spring 2000 & Fall 2000, with Assaf Kfoury and Santiago Pericas.
Functional Languages, University of Aarhus, Spring 1993 (with Flemming Nielson).