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
Jaco van de Pol

Jaco van de Pol

Personal data

Postal Address:: J.C. van de Pol; CWI, SEN 2; P.O. Box 94079; 1090 GB Amsterdam; The Netherlands
Visitor's Address:: Kruislaan 413, Amsterdam; Room M341
Telephone/Fax:: +31-(0)20-592 4137 (office); +31-(0)20-592 4249 (secretary); +31-(0)20-592 4199 (fax)
E-mail:: Jaco.van.de.Pol@cwi.nl
Home Address:: Gletsjermeer 111; 3994 HX Houten; The Netherlands; Phone: +31 (0)30 - 2581334

On Fridays UHD at the TU/e in Eindhoven: HG 6.88, tel +31 (0)40 - 247 2963, secr: +31 (0)40 - 247 5010
Course 2IW50: Algorithms for Model Checking

Jaco van de Pol

Personal data

Other links