Thomas Neele

I am a PhD student at the Eindhoven University of Technology (TU/e) in the group Formal Systems Analysis . My project is part of a collaboration between the TU/e and ASML . My main interest is model checking and its scalability problems. Of course, this problem can be approached in many different ways, either by applying symbolic techniques, abstractions or parallelism. I am investigating this problem in the context of parameterised Boolean equation systems and parity games.

I finished both my bachelor and master in Computer Science at the University of Twente . My master specialisation was Methods and Tools for Verification. As part of the curriculum, I visited the Institute of Software, Chinese Academy of Sciences for an internship in the summer of 2015.

My background in model checking is diverse: I have experience with symbolic and explicit-state techniques, probabilistic models and real-time models, process algebra and also parallel implementations on GPUs.

During my master study I was a TA for the bachelor courses programming and also algorithms and data structures. I currently run the exercise sessions and practical assignments for the course Automotive Software Engineering (2IWA0).