Freek Wiedijk, g       < 2017/2018 >

geen pasfoto bekend

pers. homepage: /~freek/

e-mail: tel. 52649

adres: M1.03.04

geen 2e foto bekend

Mini-c.v.
Ik heb ooit, lang geleden, wiskunde gestudeerd aan de Universiteit van Amsterdam. Tijdens mijn studie heb ik geen specialisatie gekozen maar uiteindelijk ben ik afgestudeerd op een onderwerp op de theoretische fysica. Vervolgens ben ik gepromoveerd, ook aan de Universiteit van Amsterdam, in de theoretische informatica, in het vakgebied van de "formele methoden". Vervolgens heb ik een aantal jaren praktischer gewerkt, als systeembeheerder. Op een gegeven moment ben ik erachter gekomen dat mijn passie ligt bij het doen van wiskundige bewijzen met de computer, met programma's die "bewijsassistenten" heten. Momenteel ben ik universitair docent, en ik mag graag lesgeven, maar de hoofdmoot van mijn energie gaat naar mijn onderzoek dat bestaat uit het verder ontwikkelen en bruikbaar maken van deze systemen. Ik woon in Amsterdam, en forens op en neer naar Nijmegen. Veel mensen vragen me hoe ik dit volhou, maar ik zou die dagelijkse reis niet graag missen. Het is heel plezierig om in de trein te werken buiten bereik van de wereld, dus zonder gestoord te kunnen worden.

Onderwijsverhaal
Ik geef pas een paar jaar onderwijs, en het bleek veel spannender dan ik had verwacht, maar ook veel leuker. De vakken die ik geef zitten (zoals gegeven mijn achtergrond te verwachten was) allemaal in de theoretische hoek. Ik geef momenteel twee inleidende vakken voor lagerejaars, eentje voor tweedejaars informatici over "Turing machines" en recursieve functies, en eentje voor eerstejaars informatiekundigen en kunstmatig intelligenten (samen met Engelbert Hubbers) wat een kaleidoscopisch introductiecollege is over meerdere onderwerpjes uit de logica en theoretische informatica. Ik geef ook twee gevorderde vakken over mijn onderzoeksonderwerp: eentje over "bewijsassistenten" en eentje over "typetheorie". In deze cursussen kan ik me helemaal laten gaan, al is het jammer dat er tot nu toe niet zoveel studenten op af komen. Evenwel zijn de studenten die er wel komen meestal zeer gemotiveerd.

Taken
organisatietaken* start datum   eind datum 
uur/jaar*
 
0.03 fte.
Tutor Informatica 30-08-2010   
40
tutor   
onderwijstaken verantw. semester
uur
deelnemers
0.00 fte.

*) Als een organisatietaak uitgevoerd wordt uit hoofde van een andere, ook hier genoemde taak, zijn geen extra uren uitgewezen.

jaar
ow totaal
2001/2002
0.01
2003/2004
0.13
2004/2005
0.21
2005/2006
0.40
2006/2007
0.40
2007/2008
0.05
2008/2009
0.00