I have had the pleasure of teaching a variety of courses at different places, in different functions and for different audiences.

22c:188 (CS:4350) Logic in Computer Science (The University of Iowa, Spring 2015)

22c:111 (CS:3820) Programming Language Concepts (The University of Iowa, Fall 2014)

22c:188 (CS:4350) Logic in Computer Science (The University of Iowa, Spring 2014)

22c:188 (CS:4350) Logic in Computer Science (The University of Iowa, Fall 2012)

COMP11212 Fundamentals of Computation, Part 2: Set-theoretical models of Software (The University of Manchester, Spring 2012)

COMP11120 Mathematical Techniques for Computer Science (The University of Manchester, Fall 2010)

COMP10020 Mathematical Techniques for Computer Science (The University of Manchester, Fall 2008 and Fall 2009)

COMP10042 Fundamentals of Computation (The University of Manchester, Spring 2009 and Spring 2010)

Ringvorlesung Informatik und Gesellschaft (Lecture series Computer Science and Society), Department of Computer Science, University of Karlsruhe, Germany, 2005-2007.

Dr. Christoph Sticksel

Principal Software Engineer in

Formal Methods/Program Analysis at

MathWorks

Natick, MA