Teaching
Current modules
Past modules
- Elementary Logic with Applications (2012-2017)
- Artificial Intelligence (2002 and 2009-2016)
- Computer Science Logic (2008 and 2009)
- Distributed Systems (2006 and 2007)
- Internet Systems (2005 and 2006)
- Conceptual Analysis (2003 and 2004)
- Database Systems (1999 to 2002)
- Computational Logic (2001)
- Data Structures and their Implementation in C++ (1999 and 2000)
- Logic and Prolog (1998 and 1999)
