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
The propositional theorem prover HeerHugo
A mCRL information page
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.