Het college Programmacorrectheid, periode 3, 2009/2010.
Materiaal bij de cursus Algoritmen en Datastructuren in C, periode 3, 2009/2010.
Het college Talen en Automaten, periode 2, 2009/2010.
Research projects (4th year and master's)
The weekly Reading Group Formal Methods, all periods.
Together with Gerard Renardel, we give a masters' course
Automated Reasoning. Some persistent material can be found on
Short introduction to theorem proving with PVS
Model checking with Spin.
Het college Concurrency, verouderd, periode 2, 2008/2009.
The masters' course Seminar Verification, outdated, third period 2005-2006.
Het college Objectgeorienteerd Programmeren A, verouderd, period 3, 2003/2004.
Het college Algoritmen en Datastructuren, verouderd, periode 2, 2003/2004.
De cursus Functioneel Programmeren, verouderd: najaar 2000.
Naar het
rooster van Informatica.
Naar mijn start
pagina.
Last modified: Thu Feb 4 13:22:22 CET 2010
Wim H. Hesselink