Bas Luttik

I am a lecturer in the Formal System Analysis research group of Computer Science Department, Technical University Eindhoven.

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

I'm also an occasional guest (usually on Wednesdays) in the section Theoretical Computer Science at the Vrije Universiteit Amsterdam.