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


Member of supervisiory board of Hotel Theater Figi


Working at Logica as an IT-specialist
Division Government


Owner of Paracas Software
Creator of Foongrep


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