Home Page of Mark Ruys

		2000-up to now Lead Software Engineer at in2sports
		1998-2000 Working at Logica as an IT-specialist Division Government
		1996-1999 Founder of Paracas Software VoF Author of Foongrep
		1992-1998 PhD student at the Computing Science Institute of the Radboud University of Nijmegen Member of the Foundations research group Research topic: formalizing mathematics

Contacting Info

Email: mark@paracas.nl
Obsolete email addresses: mark.ruys@paracas.nl, markr@cs.kun.nl, ruys@iname.com
Home address: Bessengaarde 13, 3992 KA, Houten, The Netherlands

CD-foongids

Zie Foongrep en Foongrep II voor een programma om snel de KPN CD-foongids te doorzoeken.

Publications

PhD Thesis: Studies in Mechanical Verification of Mathematical Proofs [1999].

Paper: A two-level approach toward lean proof-checking (alternative download) [1995].

Various documents

An explanation of the link diagnostics output of US Robotics modems [1997].

Beschrijving hoe ik Girotel aan de praat heb gekregen via de Draytek Vigor 2200 router [2002].

Oplossing van het upload probleem met de Alcatel Speed Touch ADSL router in combinatie met de Draytek Vigor 2200 router [2004].