Jan Friso Groote
(the course System Validation is available on Coursera.
This book supports the course).
An mCRL2 information page.
Master thesis assignments.
Bachelor thesis assignments.
The concurrency mailing list.
A high resolution portrait photo.
Inaugural lecture at Eindhoven University of Technology (in Dutch).
The propositional theorem prover HeerHugo.
Prof.dr.ir. J.F. Groote
Formal System Analysis.
Department of Mathematics and Computer Science.
Eindhoven University of Technology,
Metaforum room 6.079b Den Dolech 2
P.O. Box 513, 5600 MB Eindhoven
Tel. +31 40 - 2475003
Mob. +31 6 - 81922128
Tel. +31 40 - 2475145 (Secretary)
5674 NP Nederwetten
Tel. +31 40 - 2845414
For those interested in pottery, you could have a look at the
ceramics page of Paula Groote-Versteegen.
If you are interested in buying lots of chocolate,
you must have a look at
choconut BV, led by Anno Groote.