Gebruiker:Freek Wiedijk

Uit Werkplaats
Versie door Hanno Wupper (overleg | bijdragen) op 11 sep 2009 om 06:11
(wijz) ← Oudere versie | Huidige versie (wijz) | Nieuwere versie → (wijz)
Ga naar: navigatie, zoeken
Freek Wiedijk

Freek Wiedijk http://www.cs.ru.nl/~freek/  e-mail    1961


Institute for Computing and Information Sciences, Radboud University Utrecht http://www.cs.ru.nl/


Universitair Docent

Mijn onderzoek gaat over het verifiëren van de correctheid van wiskunde met de computer.


all comments written by Freek Wiedijk

Personal pages