Bas Luttik

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

My main area of research is concurrency theory, in particular process algebra, with the aim to provide a solid and well-understood mathematical foundation for methods and tools to verify system behaviour. My research has focussed on unique parallel decomposition and finite basis problems in process algebra, and the integration of concurrency theory and classical automata theory. I am also interested in applying process-algebra based formal methods to improve the quality of system requirements, most notably in the railway domain.

I am also actively involved in projects to innovate education using digital technology. For my course on Logic and Set Theory, I have recorded over 50 videoclips explaining the course material. Furthermore, I have initiated a project to develop an online homologation recommendation tool to allow master students through digital tests to identify deficiencies in their bachelor background and present them a recommendation on how to repair those deficiencies.

I am currently the programme manager of the 4TU master program on Embedded Systems and of the EIT ICT Labs master programme on Embedded Systems at Eindhoven University of Technology.

Address: Dept. of Computer Science, Eindhoven University of Technology
P.O. Box 513, NL-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