I work as a Lecturer in Foundations of Computing in the School of Science and Technology.

  • Doctorat en informatique, Université Paris Diderot, France (equivalent to a PhD)
  • MSc in Computer Science, Radboud Universiteit Nijmegen, Netherlands

I'm interested in formal methods, interactive theorem proving, and open source software.

This term (2012/13), I'm teaching parts of the BIS2212 (database design and programming) and CMT2317 (web site design and programming) modules.

More information can be found on my personal website, temporarily at https://sites.google.com/a/kerguelen.org/main/about

Languages spoken

  • Dutch (native tongue)
  • English
  • French
  • Italian
  • German