 |  |  | ||
| ||||
| | 2000 up to nowLead Software Engineer at Peercode | | |
 | |  | ||
| ||||
| ||||
| | 2020-2022Treasurer Oud-Katholieke Parochie Utrecht | | |
| | | ||
| ||||
| ||||
| | 2015 up to nowCo-founder and Chief Software Architect of Sensoterra | | |
| | | ||
| ||||
| ||||
| | 2005-2015Member of supervisiory board of Hotel Theater Figi | | |
| | | ||
| ||||
| ||||
| | 1998-2000Working at Logica as an IT-specialistDivision Government | | |
| | | ||
| ||||
| ||||
| | 1996-1999Owner of Paracas SoftwareCreator of Foongrep | | |
| | | ||
| ||||
| ||||
| | 1992-1998PhD student at the Computing Science Institute of the Radboud University of NijmegenMember of the Foundations research group PhD thesis: Studies in Mechanical Verification of Mathematical Proofs | | |
 | |  | ||
| ||||