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
- Dutch (native tongue)