Onderzoeksoutput 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, networks, software, algorithms, control systems, embedded systems and formal methods. Jan Frisohas 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. As it stands this already reduced 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 Amsterdamwith 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 ASMLpart-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 and the HogskolaniHalmstad, Sweden.
Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Jan Friso Groote actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 3 Soortgelijke profielen
Netwerk
Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.
Onderzoeksoutput
Finding compact proofs for infinite-data parameterised Boolean equation systems
Neele, T., Willemse, T. A. C. & Groote, J. F., 1 mrt 2020, In : Science of Computer Programming. 188, 22 blz., 102389.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
1
Citaat
(Scopus)
A complete axiomatization of branching bisimilarity for a simple process language with probabilistic choice: (extended abstract)
van Glabbeek, R. J., Groote, J. F. & de Vink, E. P., 4 nov 2019, The Art of Modelling Computational Systems: {A} Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (redactie). Cham: Springer, blz. 139-162 (Lecture Notes in Computer Science; vol. 11760 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review
Active learning of industrial software with data
Sanchez, L., Groote, J. F. & Schiffelers, R., 2019, Preproceedings of Fundamentals of Software Engineering (FSEN) 2019. Hojjat, H. & Massink, M. (redactie). Tehran: Institute for Studies in Theoretical Physics and Mathematics (IPM), School of Mathematics, blz. 51-65 14 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Active learning of industrial software with data
Groote, J. F., Sanchez, L. & Schiffelers, R., 2019, Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Revised Selected Papers. Hojjat, H. & Massink, M. (redactie). Cham: Springer, blz. 95-110 16 blz. (Lecture notes in computer science; vol. 11761).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
An axiomatization of strong distribution bisimulation for a language with a parallel operator and probabilistic choice
Groote, J. F. & de Vink, E. P., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ter Beek, M. H., Fantechi, A. & Semini, L. (redactie). Cham: Springer, blz. 449-463 15 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review
Prijzen
Best Paper award
J.F. Groote (Ontvanger), J.W. Wesselink (Ontvanger) & Tim A.C. Willemse (Ontvanger), 20 sep 2017
Prijs: Anders › Werk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.) › Wetenschappelijk
Best Paper Award FACS 2018
T.S. Neele (Ontvanger), Tim A.C. Willemse (Ontvanger) & J.F. Groote (Ontvanger), 11 okt 2018
Prijs: Anders › Werk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.) › Wetenschappelijk
Cursussen
Knipsels
EIT Digital launches three additional IoT MOOCs on Coursera
28/11/16 → 30/11/16
38 items van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
New Developments in Model Driven Software Engineering
24/06/15
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
10th ershov informatics conference (PSI 2015)
7/12/14
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
Scriptie
A BDD based prover for mCRL2
Auteur: Engelen, L., 30 nov 2006Begeleider: Groote, J. (Afstudeerdocent 1)
Scriptie/masterproef: Master
Bestand
A complete axiomatisation for probabilistic trace equivalence
Auteur: Timmers, F., 26 nov 2018Begeleider: Groote, J. F. (Afstudeerdocent 1)
Scriptie/masterproef: Master
Bestand
A formal processor model in mCRL2
Auteur: Bosch, B., 31 aug 2017Begeleider: Groote, J. (Afstudeerdocent 1)
Scriptie/masterproef: Master
Bestand
Algorithms for interpreting data frames on a CAN-bus: case study of a Jaguar XF 2009
Auteur: Avila Embriz, L., 31 jan 2013Begeleider: Groote, J. (Afstudeerdocent 1)
Scriptie/masterproef: Master
Analysis of a patient and beam restriction interface
Auteur: Osaiweran, A., 31 aug 2008Begeleider: Groote, J. (Afstudeerdocent 1), Boosten, M. (Afstudeerdocent 2), Franke, N. (Externe persoon) (Afstudeerdocent 2) & Mathijssen, A. (Afstudeerdocent 2)
Scriptie/masterproef: Master
Bestand