Projecten per jaar
Persoonlijk profiel
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 toolset 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. 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 (1965) studeerde informatica in aan de Technische Hogeschool Twente (nu Universiteit Twente). Hij promoveerde in 1991 op een proefschrift ‘Process algebra and structured operational semantics’ aan de Universiteit van Amsterdam, op basis van onderzoek verricht op het Centrum voor Wiskunde en Informatica in Amsterdam. Tot 1996 werkte hij als universitair docent aan de faculteit Wijsbegeerte in Utrecht, waana hij groepsleider werd van SEN2 aan het CWI. Sinds 1998 is hij hoogleraar verificatietechnologie voor embedded systemen aan de Technische Universiteit Eindhoven. Vanaf 2016 werkt hij tevens part time bij ASML.
Netwerk
Projecten
- 1 Afgelopen
-
A Formally Verified Fail-Operational Safety Concept for Automated Driving
Fu, Y., Terechko, A., Groote, J. F. & Khabbaz Saberi, A., 17 jan. 2022, In: SAE International Journal of Connected and Automated Vehicles. 5, 1, blz. 7-21 16 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand8 Downloads (Pure) -
A Thread-Safe Term Library: (with a New Fast Mutual Exclusion Protocol)
Groote, J. F., Laveaux, M. & van Spaendonck, P. H. M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (redactie). Springer, blz. 422-459 38 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
1 Citaat (Scopus) -
Constructive Model Inference: Model Learning for Component-based Software Architectures
Hooimeijer, B., Geilen, M., Groote, J. F., Hendriks, D. & Schiffelers, R. R. H., 2022, Proceedings of the 17th International Conference on Software Technologies - ICSOFT. SciTePress Digital Library, blz. 146-158 13 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
Linear parallel algorithms to compute strong and branching bisimilarity
Martens, J., Groote, J. F., Haak, L. B. V. D., Hijma, P. & Wijs, A., 2022, (Geaccepteerd/In druk) In: Software and Systems Modeling. XX, XOnderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open Access -
Lowerbounds for Bisimulation by Partition Refinement.
Groote, J. F., Martens, J. & Vink, E. P. D., 2022, In: CoRR. abs/2203.07158Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic
Prijzen
-
Best Paper Award FACS 2018
Neele, T.S. (Ontvanger), Willemse, Tim A.C. (Ontvanger) & Groote, J.F. (Ontvanger), 11 okt. 2018
Prijs: Anders › Werk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.) › Wetenschappelijk
-
FMICS-AVoCS Best Paper award
Groote, J.F. (Ontvanger), Wesselink, J.W. (Ontvanger) & Willemse, Tim A.C. (Ontvanger), 20 sep. 2017
Prijs: Anders › Werk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.) › Wetenschappelijk
Cursussen
Knipsels
-
Smart bug-checking for software
Tim A.C. Willemse, Jan Friso Groote & Thomas Neele
14/09/20
3 items van Media-aandacht
Pers / media: Vakinhoudelijk commentaar