Thomas Neele

I am an Assistant Professor at the Eindhoven University of Technology (TU/e) in the group Formal Systems Analysis . Previously, I was a postdoc at Royal Holloway, University of London (RHUL), working on model learning of concurrent automata in the CLeVer project. I carried out my PhD at the TU/e-FSA group; my thesis is titled "Reductions for Parity Games and Model Checking".

My main interests are the analysis of concurrent behaviour and its associated scalability problems. Of course, this problem can be approached in many different ways, either by applying symbolic techniques, abstractions or parallel computing. During my PhD, I investigated 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 . As part of the curriculum, I visited the Institute of Software, Chinese Academy of Sciences for an internship in the summer of 2015.