Logic and Proof Theory, an introductory course
in Logic, 1st order, intuitionistic and modal logic. The
second quarter gives an introduction to proof theory.
Spring 2002
Program
Analysis, Generation and Transformation, this course
looked into 6 different systems for compiler generation and
related topics. The second part of the course deals with
static analysis.
Aspects of Programming
Languages, a course on foundational issues of various
classes of programming languages, in particular functional-,
object oriented- and logic-programming languages.