Thomas Neele

View Scopus Profile

Thomas Neele

dr.ir.

 https://orcid.org/0000-0001-6117-9129
  • 196
    Citations - based on content available in repository [source: Scopus]
20152025

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.
  • 6 Similar Profiles
View full fingerprint

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
Explore network further

  • 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

  • AuDaLa is Turing Complete

    Franken, T. T. P. (Corresponding author) & Neele, T., 13 Jun 2024, Formal Techniques for Distributed Objects, Components, and Systems: 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings. Castiglioni, V. & Francalanza, A. (eds.). Cham: Springer, p. 221-229 9 p. (Lecture Notes in Computer Science (LNCS); vol. 14678).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Downloads (Pure)

  • Expressivity of AuDaLa: Turing Completeness and Possible Extensions

    Franken, T. T. P. & Neele, T., 19 Dec 2024.

    Research output: Working paper › Preprint › Academic

    File

  • Operations on Fixpoint Equation Systems

    Neele, T. & van de Pol, J., 10 Jul 2024, In: Logical Methods in Computer Science. 20, 3, 32 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File
    9 Downloads (Pure)

  • Preface

    Neele, T. & Wijs, A., 13 Oct 2024, Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings. Neele, T. & Wijs, A. (eds.). Springer, p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14624).

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

    Open Access
View all 28 research outputs
View all 10 datasets