Personal details
Name: Matthijs Melissen
Date of birth: 20 June 1985
Nationality: Dutch
Contact details: see here.
Academic positions
| 2009 - ... | PhD Student at University of Luxembourg. |
| 2006 - 2009 | Several teaching assistentships at Universiteit Utrecht at the following courses: Logical Programming; Mathematics for AI; Logic for AI; Natural Language Processing. |
Publications
List of publications.Teaching
Teaching assistentships:
- Natural Language Processing (Cognitive Artificial Intelligence, Universiteit Utrecht)
- Logic for AI (Computer Science and CAI, UU)
- Mathematics for AI (CAI, UU)
- Logical Programming (CAI, UU)
Education
| 2007 ‑ 2009 | Master Cognitive Artificial Intelligence (CAI) at Universiteit Utrecht. Graduated in april 2009 on the topic of Lambek-Grishin calculus for connectives or arbitrary arity, supervised by Michael Moortgat en Vincent van Oostrom. |
| 2004 ‑ 2007 | Bachelor Cognitieve Kunstmatige Intelligentie (CKI, English: Cognitive Artificial Intelligence) at Universiteit Utrecht (cum-laude) |
Various
| 2006 ‑ 2008 | Member programme committee ('opleidingscommissie', student participation) CKI. |
| 2006 ‑ 2007 | Board member Studentenparlement Wijsbegeerte (student participation coordination at the Philosophy department). |
| 2006 ‑ 2008 | Member AiAiAi, magazine CKI study association. |
| 2004 ‑ 2009 | Member ICKI (internet committee study association CKI), in 2006-2007 as chair. |