Teaching

2010

Type Theory, Freek Wiedijk's course page .
Proof Assistants, Freek Wiedijk's course page .
Semantics and Domain Theory, WWW page .
RDR1, Blackboard page .
RDR2, Blackboard page .
RDR3, Blackboard page .

Project supervision

If you are interested in me supervising you for your bachelorscriptie, an RDR* paper or your afstudeerscriptie, please send me email and arrange a time to discuss this with me.

Last modified: Tue Sep 21 11:06:25 CEST 2010