academic year 2023-2024
| Name | Programmes | Period | Assignments |
|---|---|---|---|
| Advanced Topics in Computational Semantics | Master Artificial Intelligence, Master Brain and Cognitive Sciences, Master Logic | 5 | Alina Leidinger; Ivo Verhoeven |
| Basic Probability: Programming | Master Logic | 2 | Lyke Esselink |
| Computational Social Choice | Master Artificial Intelligence, Master Logic | 2 | Julian Chingoma |
| Data-driven History of Ideas | Master Logic | 4 | Maria Chiara Parisi |
| Dynamic Epistemic Logic | Master Logic | 2 | Daniil Khaitovich |
| Functional Programming | Master Logic | 5 | Haitian Wang |
| Logic and conversation | Master Logic | 2 | Tomasz Klochowicz |
| Mathematical proof methods in logic | Master Logic | 1 | Rodrigo Almeida |
| Mathematical Structures in Logic | Master Logic | 4 | Soeren Knudstorp |
| Model Theory | Master Artificial Intelligence, Master Logic, Master Mathematics, Other | 5 | Rodrigo Almeida |
| Natural Language Processing 1 | Master Artificial Intelligence, Master Logic | 2 | Alina Leidinger; Evgenia Ilia; Rochelle Choenni; Ivo Verhoeven; Joris Baan |
| Philosophical Logic | Master Logic | 2 | Tomasz Klochowicz |
| Philosophy of AI | Master Logic | 1 | Lyke Esselink |
| Philosophy of Mathematics | Master Logic | 4 | Pablo Rivas-Robledo |
| Philosophy of Science | Master Logic, Other | 1 | Eline de Jong |
| Proof Theory | Master Artificial Intelligence, Master Logic, Master Mathematics, Other | 4 | Johannes Kloibhofer |
| Recursion Theory | Master Logic, Master Mathematics, Other | 1 | Lide Grotenhuis |
| Rudiments of Axiomatic Set Theory | Master Logic | 1 | Johannes Kloibhofer |
| Structures for Semantics | Master Logic | 5 | Soeren Knudstorp |
| Topic in Formal Epistemology | Master Logic | 4 | Daira Pinto Prieto |
| Topics in Modal Logic | Master Logic | 2 | Lide Grotenhuis |
| Topology, Logic and Learning | Master Logic | 4 | Daniil Khaitovich |
| Type Theory | Master Logic | 5 | Daniël Otten |
| Advanced Neural and Cognitive Modelling | Master Brain and Cognitive Sciences | 1 | Charlotte Pouw |
| Deep Learning 2 | Master Artificial Intelligence | 5 | Evgenia Ilia |
| Higher Cognitive Functions | Master Brain and Cognitive Sciences | 1 | Michael Hanna |
| How Music Works: Music Cognition | Master Brain and Cognitive Sciences | 4 | Jiaxin Li |
| Interpretability and Explainability in AI | Master Artificial Intelligence | 6 | Marcel Vélez Vásquez; Michael Hanna; Oskar van der Wal; Marianne de Heer Kloots; Charlotte Pouw |
| NLP2 | Master Artificial Intelligence | 2 | Pedro Ferreira; Seth Aycock |
| Introduction to Modal Logic | Bachelor Mathematics | 1+2 | Rodrigo Almeida |
| Category theory | Other | 1+2 | Daniël Otten |
| Computational Musicology | Other | 4 | Marcel Vélez Vásquez; Charlotte Pouw |
| Meaning, Reference and Modality | Other | 1 | Marco Degano |
| Name | Assignments |
|---|---|
| Rodrigo Almeida | Mathematical proof methods in logic; Model Theory; Introduction to Modal Logic |
| Seth Aycock | NLP2 |
| Joris Baan | Natural Language Processing 1 |
| Julian Chingoma | Computational Social Choice |
| Rochelle Choenni | Natural Language Processing 1 |
| Marianne de Heer Kloots | Interpretability and Explainability in AI |
| Marco Degano | Meaning, Reference and Modality |
| Lyke Esselink | Basic Probability: Programming; Philosophy of AI |
| Pedro Ferreira | NLP2 |
| Lide Grotenhuis | Recursion Theory; Topics in Modal Logic |
| Michael Hanna | Higher Cognitive Functions; Interpretability and Explainability in AI |
| Evgenia Ilia | Natural Language Processing 1; Deep Learning 2 |
| Eline de Jong | Philosophy of Science |
| Daniil Khaitovich | Dynamic Epistemic Logic; Topology, Logic and Learning |
| Tomasz Klochowicz | Logic and conversation; Philosophical Logic |
| Johannes Kloibhofer | Proof Theory; Rudiments of Axiomatic Set Theory |
| Soeren Knudstorp | Mathematical Structures in Logic; Structures for Semantics |
| Alina Leidinger | Advanced Topics in Computational Semantics; Natural Language Processing 1 |
| Jiaxin Li | How Music Works: Music Cognition |
| Daniël Otten | Type Theory; Category theory |
| Maria Chiara Parisi | Data-driven History of Ideas |
| Daira Pinto Prieto | Topic in Formal Epistemology |
| Charlotte Pouw | Advanced Neural and Cognitive Modelling; Interpretability and Explainability in AI; Computational Musicology |
| Pablo Rivas-Robledo | Philosophy of Mathematics |
| Marcel Vélez Vásquez | Interpretability and Explainability in AI; Computational Musicology |
| Ivo Verhoeven | Advanced Topics in Computational Semantics; Natural Language Processing 1 |
| Oskar van der Wal | Interpretability and Explainability in AI |
| Haitian Wang | Functional Programming |