• 160
    Citations - based on content available in repository [source: Scopus]
20152023

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.

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
  • An Autonomous Data Language

    Franken, T. T. P., Neele, T. & Groote, J. F., 2023, Theoretical Aspects of Computing – ICTAC 2023 - 20th International Colloquium, Proceedings. Ábrahám, E., Dubslaff, C. & Tarifa, S. L. (eds.). Springer, p. 158-177 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14446 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Compositional Automata Learning of Synchronous Systems

    Neele, T. & Sammartino, M., 2023, Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings. Lambers, L. & Uchitel, S. (eds.). Springer, p. 47-66 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13991 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    2 Citations (Scopus)
  • Simplifying Process Parameters by Unfolding Algebraic Data Types

    Stramaglia, A., Keiren, J. J. A. & Neele, T., 2023, Theoretical Aspects of Computing – ICTAC 2023 - 20th International Colloquium, Proceedings. Ábrahám, E., Dubslaff, C. & Tarifa, S. L. (eds.). Springer, p. 399-416 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14446 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021

    Jensen, P. G. & Neele, T., 1 Apr 2023, In: International Journal on Software Tools for Technology Transfer. 25, 2, p. 129-131 3 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    23 Downloads (Pure)
  • (Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems

    Neele, T., 2022, Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022). p. 64-80 17 p. (CEUR Workshop Proceedings; vol. 3326).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    1 Citation (Scopus)