Community & Teaching

Teaching at Utrecht University

• Logics for Safe AI (2023/2024-2025/2026) - Lecturer
• Logica voor Informatica (2022/2023-2024/2025) - Teaching Assistant
• Informatica Introductieproject (2021/2022-2024/2025) - Teaching Assistant
• Multi-Agent Systems (2023/2024) - Guest lecturer

Academic Community

• S4S Café on Sustainability for AI Details
  Organized a seminar for researchers working on topics related to sustainability and AI.
• VvL Essentials Details
  A series of seminars offering introductory lectures on several topics in logic.