Projects per year
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 format for operational rules, the first and also the most efficient algorithms to determine branching bisimulation and the cones and foci method to 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
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Projects
- 1 Finished
-
Composable Embedded Systems for Healthcare
Groote, J. F. (Project Manager) & Vlasiou, M. (Project member)
1/05/11 → 30/06/17
Project: Research direct
-
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 proceeding › Chapter › Academic › peer-review
-
A Quadratic Lower Bound for Simulation.
Groote, J. F. & Martens, J., 2024.Research output: Working paper › Preprint › Academic
-
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 proceeding › Conference contribution › Academic › peer-review
Open AccessFile3 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 proceeding › Conference contribution › Academic › peer-review
Open AccessFile7 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 journal › Article › Academic › peer-review
Open AccessFile41 Downloads (Pure)
Datasets
-
An O(m log n) Algorithm for Branching Bisimilarity on Labelled Transition Systems
Wijs, A. (Creator), Keiren, J. J. A. (Creator), Groote, J. F. (Creator) & Jansen, D. N. (Creator), Figshare, 20 Feb 2020
DOI: 10.6084/m9.figshare.11876688
Dataset
-
Compositional Learning for Interleaving Parallel Automata (CL-Star)
Labbaf, F. (Creator), Groote, J. F. (Creator), Hojjat, H. (Contributor) & Mousavi, M. R. (Contributor), Zenodo, 23 Apr 2023
DOI: 10.5281/zenodo.7624699, https://zenodo.org/record/7624699
Dataset
-
Minimisation of Spatial Models using Branching Bisimilarity - Validation code and data
Ciancia, V. (Contributor), Groote, J. F. (Contributor), Latella, D. (Contributor), Massink, M. (Contributor) & de Vink, E. P. (Contributor), Zenodo, 3 Dec 2022
DOI: 10.5281/zenodo.7393236, https://zenodo.org/record/7393236
Dataset
-
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
-
Infinite-data PBES Quotienting with the mCRL2 toolset
Neele, T. (Contributor), Willemse, T. A. C. (Contributor) & Groote, J. F. (Contributor), Zenodo, 4 Nov 2019
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
-
FMICS-AVoCS Best Paper award
Groote, J. F. (Recipient), Wesselink, J. W. (Recipient) & Willemse, T. A. C. (Recipient), 20 Sept 2017
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific