Content available in repository
Content available in repository
Personal profile
Research profile
Thomas Neele is an Assistant Professor in the group Formal System Analysis at Eindhoven University of Technology (TU/e). His interest is the analysis of behaviour of software and hardware systems, specifically the analysis of concurrency and the scalability of those analyses. In this context, he studies techniques such as partial-order reduction, symbolic techniques and syntactical transformations. Neele's has also applied these ideas in the areas of automata learning and fixpoint logic.
Academic background
Thomas Neele obtained his bachelor's and master's degree in Computer Science at University of Twente and earned his PhD in 2020 under supervision of Prof. Jan Friso Groote and Dr. Tim Willemse. He was a Postdoctoral Research Assistant at Royal Holloway, University of London. In 2021, Neele was appointed Assistant Professor at TU/e. His work received several awards, including best paper awards at ETAPS and FACS. For his dissertation, he received the IPA dissertation award. In 2024, Neele received an NWO Veni grant for his project "Explainable Formal Methods with Certificates".
Fingerprint
Dive into the research topics where Thomas Neele is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Compositional Active Learning of Synchronizing Systems Through Automated Alphabet Refinement
Henry, L., Mousavi, M. R., Neele, T. & Sammartino, M., 18 Aug 2025, 36th International Conference on Concurrency Theory (CONCUR 2025). Bouyer, P. & van de Pol, J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 20:1-20:22 22 p. 20. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 348).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile3 Downloads (Pure) -
Compositional Active Learning of Synchronous Systems through Automated Alphabet Refinement
Henry, L., Mousavi, M., Neele, T. & Sammartino, M., 23 Apr 2025, arXiv.org, 22 p.Research output: Working paper › Preprint › Professional
Open AccessFile32 Downloads (Pure) -
Formalisation of a New Weak Semantics for AuDaLa
Leemrijse, G. P., Franken, T. T. P. & Neele, T. (Corresponding author), 12 Feb 2025, Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II. Akshay, S., Niemetz, A. & Sankaranarayanan, S. (eds.). Cham: Springer, p. 93-116 24 p. (Lecture Notes in Computer Science (LNCS); vol. 15055).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile8 Downloads (Pure) -
Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Neele, T. (Editor) & Wijs, A. (Editor), 2025, Springer. (Lecture Notes in Computer Science; vol. 14624)Research output: Book/Report › Book editing › Academic › peer-review
-
Unfolding state variables improves model checking performance
Stramaglia, A., Keiren, J. J. A. (Corresponding author) & Neele, T., 22 May 2025, In: Theoretical Computer Science. 1038, 28 p., 115181.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile31 Downloads (Pure)
Datasets
-
mCRL2org/mCRL2: mCRL2 202507.0
Wesselink, J. W. (Creator), Groote, J. F. (Creator), Laveaux, M. (Creator), Keiren, J. J. A. (Creator), Neele, T. (Creator), Bunte, O. (Creator), Jansen, D. N. (Creator), Johannes Altmanninger (Creator), Booy, J. J. (Creator), de Vink, E. P. (Creator), Ferry Timmers (Creator), Thom Castermans (Creator), Willemse, T. A. C. (Creator), Wijs, A. J. (Creator), Jilissen, K. H. J. (Creator), Willem Rietdijk (Creator), van Ieperen, N. G. (Creator), Volk, M. (Creator), Spronck, M. S. C. (Creator), Luttik, S. P. (Creator), Casper Bach (Creator), Paul van Tilburg (Creator) & Rey, T. (Creator), Zenodo, 1 Aug 2025
Dataset: Software
-
mCRL2 release 201808.0
Bunte, O. (Contributor), Groote, J. F. (Contributor), Keiren, J. J. A. (Contributor), Laveaux, M. (Contributor), Neele, T. (Contributor), de Vink, E. P. (Contributor), Wesselink, W. (Contributor), Wijs, A. (Contributor) & Willemse, T. A. C. (Contributor), Zenodo, 2 Sept 2018
DOI: 10.5281/zenodo.2555055, https://zenodo.org/record/2555055
Dataset
-
Artifact - Formalisation of a new weak semantics for AuDaLa
Leemrijse, G. (Contributor), Franken, T. T. P. (Contributor) & Neele, T. (Contributor), Zenodo, 5 Jul 2024
DOI: 10.5281/zenodo.12665500, https://zenodo.org/records/12665500
Dataset
-
Replication package with proofs for the paper "Operations on Fixpoint Equation Systems"
Neele, T. (Contributor) & van de Pol, J. (Contributor), Zenodo, 14 Apr 2023
DOI: 10.5281/zenodo.7828484, https://zenodo.org/record/7828484 and one more link, https://zenodo.org/records/10640564 (show fewer)
Dataset
-
Dataset with experiments for 'Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems'
Neele, T. (Creator), Willemse, T. A. C. (Creator) & Wesselink, W. (Creator), Zenodo, 9 Jan 2020
Dataset
Prizes
-
Best Paper Award FACS 2018
Neele, T. S. (Recipient), Willemse, T. A. C. (Recipient) & Groote, J. F. (Recipient), 11 Oct 2018
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific
-
CONCUR 2025 Best Paper Award
Neele, T. (Recipient), Aug 2025
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific
-
EATCS Best Paper Award
Neele, T. (Recipient), Valmari, A. (Recipient) & Willemse, T. A. C. (Recipient), 2 Jul 2020
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific
-
Explainable Formal Methods with Certificates
Neele, T. (Recipient), 17 Jul 2024
Prize: NWO › Veni › Scientific
-
Informatie Scriptieprijs (second prize)
Neele, T. (Recipient), 28 Nov 2016
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific
Courses
Press/Media
-
Smart bug-checking for software
Willemse, T. A. C., Groote, J. F. & Neele, T.
14/09/20
3 items of Media coverage
Press/Media: Expert Comment