/---+---\

 

Mark Ruys

 

2000 up to now

Lead Software Engineer at Peercode

2020 up to now

Treasurer Oud-Katholieke Parochie Utrecht

2015 up to now

Co-founder and Chief Software Architect of Sensoterra

2005-2015

Member of supervisiory board of Hotel Theater Figi

1998-2000

Working at Logica as an IT-specialist
Division Government

1996-1999

Owner of Paracas Software
Creator of Foongrep

1992-1998

PhD student at the Computing Science Institute of the Radboud University of Nijmegen
Member of the Foundations research group
PhD thesis: Studies in Mechanical Verification of Mathematical Proofs