I am Thomas Neele, and 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. At the moment I am working on continuous-time models within the context of process algebra. Ultimately, I want to apply my ideas at ASML.
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).