• 2331
    Citations - based on content available in repository [source: Scopus]
1988 …2025

Content available in repository

Personal profile

Quote

We want to provide technology that enables software engineersto deliver flawless software at reasonable cost.

Research profile

Jan Friso Groote  is a Full Professor and Chair of Formal Systems Analysis group in the Department of Mathematics and Computer Science at Eindhoven University of Technology (TU/e). His areas of expertise include Computer systems, architectures, software, algorithms, embedded systems and formal methods. Jan Friso has contributed to  structural operational semantics  and verification technology. His particular contributions include the  tyft/tyxt formatfor operational rules, the first and also the most efficient algorithms to determine branching bisimulationand the  cones and foci methodto prove correctness of protocols and distributed algorithms. He is the founding father of the process modeling language and analysis tool set  mCRL2. This tool set makes it possible to describe the behavior of software with data, time and probabilities, whilst proving properties related to this behavior, expressed in the modal mu-calculus, as well as reducing and visualizing this. 

His current research goal is to show that formal analysis techniques can be used to design the software for complete systems. For this it is not only necessary to improve the verification techniques and algorithms, but it is also important to develop software development styles suitable for verification. Industrial experience shows that this reduces the development time with a factor three increasing the quality with a factor 10. Especially regarding the quality, it can be expected that substantial further improvements are possible, hopefully leading to zero defect software.

Academic background

Jan Friso Groote studied computer science from 1983 to 1988 at Twente University of Technology. He obtained his PhD from the University of Amsterdam with a thesis named Process algebra and structured operational semantics, based on research carried out at CWI (Centre for Mathematics and Computer Science) in Amsterdam. Until 1996 he was lecturer at the department of Philosophy at Utrecht University, after which he became a group leader of the group SEN2 at CWI. Since 1998 he has been a full professor in verification technology for embedded software at TU/e. Since 2016 he has been working at ASML part-time

He has been Director of education for Computer Science (2000-2010) and Director of education for the bachelor program Computer Science and the master programs Computer Science and Engineering, and Embedded Systems (2003-2010). He has also been a visiting researcher at the University of Edinburgh, Swedish Institute of Computer Science, Aalborg University, Uppsala University, Reykjavik University, Masaryk University, Cordoba University, the Hogskolan in Halmstad, Sweden and the Institute of Software, Chinese Academy of Sciences, Beijing.

Fingerprint

Dive into the research topics where Jan Friso Groote 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
  • On Woolhouse’s Cotton-Spinning Problem

    Groote, J. F. (Corresponding author) & Willemse, T. A. C., 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Springer, Vol. 2. p. 3-17 15 p. (Lecture Notes in Computer Science; vol. 15261 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • A Quadratic Lower Bound for Simulation.

    Groote, J. F. & Martens, J., 2024.

    Research output: Working paperPreprintAcademic

  • Fair Mutual Exclusion for N Processes

    Hafidi, Y., Keiren, J. J. A. (Corresponding author) & Groote, J. F., 3 Jan 2024, Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers. Yavorskiy, R., Cavalli, A. R. & Kalenkova, A. (eds.). Cham: Springer, p. 149-160 12 p. (Communications in Computer and Information Science (CCIS); vol. 1559).

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

    Open Access
    File
    3 Downloads (Pure)
  • Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment

    Jilissen, K. H. J., Dieleman, P. & Groote, J. F., 27 Mar 2024, Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems. Lang, F. & Volk, M. (eds.). arXiv.org, Vol. 2403.18722. p. 101-127 27 p. (Electronic Proceedings in Theoretical Computer Science; no. 399).

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

    Open Access
    File
    7 Downloads (Pure)
  • Formal Methods for Industrial Critical Systems

    Groote, J. F. & Huisman, M., Apr 2024, In: International Journal on Software Tools for Technology Transfer. 26, 2, p. 127-129 3 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    41 Downloads (Pure)