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

I also hold a part-time secondment as a researcher in SEN2 at CWI.

Address: CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands
Office: M 3.25
Telephone +31 (0)20 592 4221
Fax +31 (0)20 592 4199

Generally, I am at CWI on Wednesdays.