Bas Luttik

I am an assistant professor in the Formal Methods Group of Computer Science Department, Technical University Eindhoven.

Address: TU/e, Computer Science Department, P.O. Box 513, 5600 MB Eindhoven, The Netherlands
Office: HG 7.14
E-mail: S _dot_ P _dot_Luttik _at_ tue _dot_ nl
Telephone +31 (0)40 247 5142
Fax +31 (0)40 247 5361