Jan Friso Groote
(the course System Validation is available on Coursera.
This book supports the course).
An mCRL2 information page
The concurrency mailing list
Inaugural lecture at Eindhoven University of
Technology (in Dutch)
The propositional theorem prover HeerHugo
A high resolution portrait photo
Prof.dr.ir. J.F. Groote
Model Driven Software Engineering.
Department of 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.