About
Freek Wiedijk is an Assistant Professor at Radboud University Nijmegen, where he works on formal verification and proof assistants in collaboration with Henk Barendregt and Herman Geuvers. Previously, he spent six years as a system and network administrator at Utrecht University after completing his Ph.D. in mathematical computer science.
0Publications listed
Find Freek Wiedijk elsewhere
Related Searches
You Might Also Like
Herman GeuversRadboud University · Professor
Herman GeuversEindhoven University of Technology · Lecturer
Rob NederpeltEindhoven University of Technology · Researcher
Jana WagemakerRadboud University · Assistant Professor
Pierre CorbineauGrenoble Alps University · Assistant Professor- FFreek VerbeekInria · Assistant Professor