معرفی
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.
۰مقاله منتشرشده
