Currently I teach the following courses

• Logic (bachelor Knowledge Engineering, 1st year)
• Databases (bachelor Knowledge Engineering, 2nd year)
• Reasoning Techniques (bachelor Knowledge Engineering, 2nd year)
• Theoretical Computer Science (bachelor Knowledge Engineering, 2nd year)
• Prolog (bachelor Knowledge Engineering, 3rd year)
• Intelligent Search & Games (master Artificial Intelligence, 1st year)