Thomas Neele

I am a Postdoctoral Research Assistant at Royal Holloway, University of London (RHUL), working on model learning of concurrent automata in the CLeVer project. Previously, I was a PhD student at the Eindhoven University of Technology (TU/e) in the group Formal Systems Analysis .

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.