About
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)
Find Thomas Neele elsewhere
Related Searches
You Might Also Like
Tim WillemseEindhoven University of Technology · Associate Professor
Tim A.C. WillemseEindhoven University of Technology · Associate Professor
Jan Friso GrooteEindhoven University of Technology · Professor
Anton J. WijsEindhoven University of Technology · Associate Professor
Bas LuttikEindhoven University of Technology · Associate Professor- RRichard LopataEindhoven University of Technology · Professor