Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Prof.dr.ir. J.F. Groote

Jan Friso Groote

Courses and other educational matters
The concurrency mailing list
An mCRL2 information page
A muCRL information page
The propositional theorem prover HeerHugo
Publications
Curriculum Vitae
Inaugural lecture at Eindhoven University of Technology (in Dutch)
Position Statement for for the ACM Workshop on Strategic Directions in Computing Research
Powerpoint presentation Natlab Computer Science Colloquium
Home brewed monsters

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

Prof.dr.ir. J.F. Groote

Systems Engineering, ontwerp en analyse van systemen.

Department of Computer Science.

Eindhoven University of Technology,

Hoofdgebouw kamer 6.75, Den Dolech 1

P.O. Box 513, 5600 MB Eindhoven

The Netherlands

Tel. +31 40 - 2475003

Tel. +31 40 - 2475010 (Secretary)

Fax. +31 40 - 2468508

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.