Foto van Thomas Neele

Bekijk Scopus-profiel

Thomas Neele

dr.ir.

 https://orcid.org/0000-0001-6117-9129
  • 196
    Citaties
20152025

Onderzoeksresultaten per jaar

Persoonlijk profiel

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".

Vingerafdruk

Verdiep u in de onderzoeksgebieden waarop Thomas Neele actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
  • 6 Soortgelijke profielen
Volledige vingerafdruk bekijken

Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar

Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
Netwerk verder verkennen

  • Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

    Neele, T. (Redacteur) & Wijs, A. (Redacteur), 2025, Springer. (Lecture Notes in Computer Science; vol. 14624)

    Onderzoeksoutput: Boek/rapport › Boekredactie › Academic › peer review

  • AuDaLa is Turing Complete

    Franken, T. T. P. (Corresponderende auteur) & 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. (uitgave). Cham: Springer, blz. 221-229 9 blz. (Lecture Notes in Computer Science (LNCS); vol. 14678).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    Bestand
    1 Downloads (Pure)

  • Expressivity of AuDaLa: Turing Completeness and Possible Extensions

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

    Onderzoeksoutput: Werkdocument › Preprint › Academic

    Bestand

  • Operations on Fixpoint Equation Systems

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

    Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

    Open Access
    Bestand
    9 Downloads (Pure)

  • Preface

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    Open Access
Alle bekijken 28 onderzoeksoutput
Alle bekijken 10 datasets