Thomas Neele

I am an Assistant Professor at the Eindhoven University of Technology (TU/e) in the group Formal System Analysis . My main interests are the analysis of concurrent behaviour and its associated scalability problems. In the context of model checking, I study symbolic techniques, syntactic transformations for reduction, and partial-order reduction. My other interests are fixpoint logics and automata learning.

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 titled "Reductions for Parity Games and Model Checking" received the IPA dissertation award . I finished both my bachelor and master in Computer Science at the University of Twente . As part of the curriculum, I visited the Trustworthy and Intelligent Systems group at Chinese Academy of Sciences for an internship in the summer of 2015.


  • Submit your papers to SPIN 2024. This 30th edition introduces artifact evaluation features an anniversary track for historical accounts and other papers of broad interest.
  • Starting January 2024, I will take up the role of managing director at the research school research school IPA. Say hi at the upcoming Fall Days.
  • SEFM 2023 will take place in Eindhoven on 6-10 November 2023. I am taking care of the local organisation.