Thomas Neele

Thomas Neele is an Assistant Professor at TU/e in the Formal System Analysis group, focusing on concurrency analysis and scalability of formal methods. He earned his PhD at TU/e in 2020 under Prof. Jan Friso Groote and Dr. Tim Willemse, with postdoctoral work at Royal Holloway, University of London. His research addresses partial-order reduction, symbolic techniques, and automata learning. Notable awards include the IPA Dissertation Award (2020) and an NWO Veni Grant (2024) for Explainable Formal Methods with Certificates.

Education: BSc and MSc in Computer Science from University of Twente. Teaching includes Automated Reasoning (2022–2024), Automotive Software Engineering, and supervision of over 10 Master’s theses.

Research interests span formal verification, fixpoint logic, and parallel programming. Key projects include CLeVer (Postdoc) and MACHINAIDE (2022). Tools developed include contributions to mCRL2 and LTSmin.

• Awards: IPA Dissertation Award, Best Paper Awards (ETAPS/FACS), NWO Veni Grant
• Grants: NWO Veni Grant (2024)
• Labs/Teams: Formal System Analysis group, IPA research school (Managing Director)