Teaching

All my lecture notes, student advice, etc. are available at my Github site.
Some links for previous courses are given below.
Note that I've switched institutions recently, and many of the older links don't work anymore.

Spring 2017, Secure and Dependable Systems
Spring 2017, Algorithms and Data Structures
Spring 2017, Advanced Programming in Python
Spring 2016, Advanced Programming in Python
Fall 2013, Advanced Computer Science 1 (Formal Languages and Logic)
Spring 2013, NatSciLab Unit Programming in Python II
Fall 2012, NatSciLab, Units Computer Science I and Programming in Python I
Spring 2012, Graduate Seminar
Fall 2011, Computational Logic lecture and lab
Spring 2011, Graduate Seminar
Fall 2010, Computational Semantics of Natural Language and lab
Spring 2010, Graduate Seminar
Fall 2009, Computational Logic lecture and lab
Spring 2009, Graduate Seminar
Fall 2008, Advanced Computer Science 1