Mark Adams' Webpage

Mark Adams' Webpage

I am PhD student at the Foundations Group of ICIS at Radboud University, Nijmegen. My PhD promoter is Herman Geuvers and my daily supervisors are Josef Urban, Cezary Kaliszyk and Freek Wiedijk.

I also run the company Proof Technologies Ltd, which provides software and consultancy for formal methods, functional programming and safety-critical software, and performs its own research in the areas of theorem proving and mathematics formalisation.