Scholar
Thomas Neele
Google Scholar ID: sDEqN78AAAAJ
Assistant Professor, Eindhoven University of Technology
Citations & Impact
Citations
396
H-index
7
i10-index
6
Publications
20
Co-authors
8
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Received a Veni personal grant from NWO for the project 'Explainable Formal Methods with Certificates'; co-authored a paper 'AuDaLa is Turing Complete' accepted at FORTE 2024; won the best paper award at CONCUR 2025 for the paper 'Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement'.
Research Experience
- Currently an Assistant Professor at Eindhoven University of Technology in the Formal System Analysis group and the Managing Director of the IPA research school. Previously, a postdoc at Royal Holloway, University of London, working on the CLeVer project involving model learning of concurrent automata.
Education
- PhD from Eindhoven University of Technology (TU/e) in the FSA group, with a thesis titled 'Reductions for Parity Games and Model Checking' which received the IPA dissertation award; completed both bachelor's and master's degrees at the University of Twente.
Background
- Research interests include the analysis of concurrent behavior and its associated scalability problems, symbolic techniques in model checking, syntactic transformations for reduction, and partial-order reduction. Other areas of interest are fixpoint logics, parallel programming, and automata learning.
Miscellany
- Obtained the University Teaching Qualification (Dutch: BKO) in 2023.
