CV

Personal data

Education

1992-1998

Secondary education (VWO), Stedelijk Gymnasium Nijmegen, exam subjects: Dutch language, English language, French language, Latin, Ancient Greek, Mathematics (B), Physics, Chemistry, Biology and History

1998-2005

MSc in computing science, NIII, Radboud University Nijmegen

Specialisation: formal systems and logic, foundations of computing science and mathematics

MSc thesis project: A tactic for proving primitive recursive predicates in Coq. (supervisor: dr. H. Geuvers)

Professional experience

1999-2003

Teaching assistantships at the Subfaculty of Computing Science, Radboud University Nijmegen (courses in programming and compiler construction

2001-2003

Assistantship at the Subfaculty of Mathematics, Radboud University Nijmegen (development of Java applets for an educational website

2005-2007

Researcher at Universite Paris Diderot with the EDOS project; research subject: formal management of software dependencies.

2007

Software engineer with the Ocsigen project

2008-

PHD student at the Universite Pris Diderot with the MANCOOSI project. Research subject: Formal study of upgrade problems in software component systems.

Other activities

1997-2005

Volunteer at the Technisch Creatief Centrum Nijmegen (teaching children technical skills; mostly computing, but also electronics, metal- and woodworking)

1999-2002

Student representative in various committees at the Subfaculty of Computing Science

2008-

Volunteer at the French Red Cross (Vitry-sur-Seine)

Language skills

Miscellaneous qualifications

Driving license (B)

First aid: PSE1