Teaching: Courses
[Courses | Tutorials | Students]

---

I teach courses at undergraduate and graduate programs of Computer Science:

• Constraint Programming (since 1998), course web
• Planning and Scheduling (since 2004), course web
• Introduction to Artificial Intelligence (since 2020), course web
• Artificial Intelligence I (since 2007), course web
• Artificial Intelligence II (since 2011), course web
• Seminar on Artificial Intelligence I and II (since 2010), course web
• Formal Automata and Grammars (2000-2014), course web

Past seminars:

• Theory of Computing (till 2003)
• Programming in Prolog (till 2002)

---