Teaching
I am teaching the following courses at the Vrije Universiteit Amsterdam:
- Knowledge Representation (MSc AI) in 2026/2027, period 2
- Formal Logic for Artificial Intelligence (BSc AI) in 2026/2027, period 2, together with Dr. Vera Stebletsova (part of the Situational AI Minor)
Courses I gave in the past:
- Knowledge Representation (VU Amsterdam), 2023/2024, 2024/2025, 2025/2026
- Formal Logic for Artificial Intelligence (VU Amsterdam), together with Dr. Vera Stebletsova, 2024/2025, 2025/2026
- Logic and Sets (VU Amsterdam), 2023/2024
- Logic-Based Ontology Engineering (TU Dresden, Germany), 2021/2022 and 2022/2023
- Semantic Technologies (UWTH Stuttgart, Germany), 2021/2022
- Applications of Logic for Artificial Intelligence (TU Dresden, Germany), five times between 2021 – 2024
If you want to do a bachelor or master thesis, don’t be afraid to send me an email. I have a range of topics on my webpage, and I can give you additional information based on your experience, skills and interests. If you have your own idea, we can discuss it to see whether it is feasible, whether I am the right supervisor, or whether there are similar directions that would be better suited. One warning: even though my expertise is in a subfield of artificial intelligence, I will not supervise theses with a focus on deep learning, large language models or image recognition. My focus is on symbolic AI, that is, knowledge representation and logic-based AI. Consequently, theses topics will have to be related to those fields.