Jan Friso Groote

Courses (the course System Validation is available on Coursera. This book supports the course).
An mCRL2 information page
The concurrency mailing list
Curriculum Vitae
Inaugural lecture at Eindhoven University of Technology (in Dutch)
The propositional theorem prover HeerHugo
A high resolution portrait photo

E-mail: J.F.Groote@tue.nl

Prof.dr.ir. J.F. Groote
Section 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
The Netherlands
Tel. +31 40 - 2475003
Mob. +31 6 - 81922128
Tel. +31 40 - 2475145 (Secretary)

Hoekstraat 56
5674 NP Nederwetten
The Netherlands
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.