Contact Information

dr. R.P. Nederpelt

Email: R.P.Nederpelt@tue.nl

Postal address:

Rob Nederpelt
Formal Methods Group, Computing Science Department
Eindhoven University of Technology

P.O. Box 513
5600 MB
Eindhoven
The Netherlands

Telephone / Fax:

Phone: +31 (0)40 247 2718
Fax: +31 (0)40 247 5361

General phone number of
Eindhoven University: +31 (0)40 247 9111

Click here for a route and plan.

Room HG 7.20 of the main building of the Eindhoven University of Technology

Den Dolech 2
5600 MB
Eindhoven
the Netherlands