Matthijs Melissen

Personal details

Name: Matthijs Melissen, MSc
Date of birth: June 20, 1985
Nationality: Dutch
Contact details: see here.

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)

Job history

2009 - ...	PhD Student at University of Luxembourg.
2009	Software developer (PHP) for DataCT.
2006 - 2009	Several teaching assistentships at Universiteit Utrecht at the following courses: Logical Programming, Mathematics for AI (2 times), Logic for AI and Natural Language Processing (2 times).
2007	Web developer Faculteit Geesteswetenschappen, Universiteit Utrecht.

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)
1998 ‑ 2004	Stedelijk Gymnasium Breda; Profile 'Natuur & Techniek' (Science & technology) with Latin, Greek, Computer Science and Philosophy; Final project ('profielwerkstuk'): comparison of programming languages
1989 ‑ 1998	Rudolf Steiner School Breda

Various

2006 ‑ 2008	Member programme committee ('opleidinscommissie', 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.
2003 ‑ 2005	Secretary (and founder) Go Club Breda
2003 ‑ 2004	6th position Dutch Mathematical Olympiad; participated in International Mathematical Olympiad (including training sessions).
2003 ‑ 2004	Chair (and founder) internet committee Stedelijk Gymnasium Breda.