If you made any changes in Pure these will be visible here soon.

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, networks, software, algorithms, control systems, embedded systems and formal methods. Jan Frisohas contributed tostructural operational semanticsand verification technology. His particular contributions include thetyft/tyxt formatfor operational rules, the first and also the most efficient algorithms to determinebranching bisimulationand thecones and foci methodto prove correctness of protocols and distributed algorithms. He is the founding father of the process modeling language and analysis tool setmCRL2. 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.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1988 2019

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. (eds.). Tehran: Institute for Studies in Theoretical Physics and Mathematics (IPM), School of Mathematics, p. 51-65 14 p.

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

Learning systems
Large scale systems
Problem-Based Learning

Correct and efficient antichain algorithms for refinement checking

Laveaux, M., Groote, J. F. & Willemse, T., 29 May 2019, Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings. Pérez, J. & Yoshida, N. (eds.). Cham: Springer, p. 185-203 19 p. (Lecture Notes in Computer Science; vol. 11535)

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

Antichain
Refinement
Correctness
Divergence
Specification

Correct and efficient antichain algorithms for refinement checking

Laveaux, M., Groote, J. F. & Willemse, T., 2019, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 19/01)

Research output: Book/ReportReportAcademic

Open Access
File
Specifications
Data storage equipment
Experiments

Correct and efficient antichain algorithms for refinement checking

Laveaux, M., Groote, J. F. & Willemse, T. A. C., 26 Feb 2019, In : arXiv. 28 p., 1902.09880

Research output: Contribution to journalArticleAcademic

Open Access
File
Specifications
Data storage equipment
Experiments

Distribution of Behaviour into parallel communicating subsystems

Alduhaiby, O. & Groote, J. F., 30 May 2019, arXiv.org. 14 p.

Research output: Book/ReportReportAcademic

Open Access
File
Decomposition
Distributed computer systems
Large scale systems
Communication

Prizes

Best Paper award

Jan Friso Groote (Recipient), Wieger Wesselink (Recipient) & Tim Willemse (Recipient), 20 Sep 2017

Recognition: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

Modeling languages

Best Paper Award FACS 2018

Thomas Neele (Recipient), Tim Willemse (Recipient) & Jan Friso Groote (Recipient), 11 Oct 2018

Recognition: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

Courses

Automotive software engineering

1/09/13 → …

Course

Computer systems

1/09/09 → …

Course

Student theses

A BDD based prover for mCRL2

Author: Engelen, L., 30 Nov 2006

Supervisor: Groote, J. (Supervisor 1)

Student thesis: Master

File

A complete axiomatisation for probabilistic trace equivalence

Author: Timmers, F., 26 Nov 2018

Supervisor: Groote, J. F. (Supervisor 1)

Student thesis: Master

File

A formal processor model in mCRL2

Author: Bosch, B., 31 Aug 2017

Supervisor: Groote, J. (Supervisor 1)

Student thesis: Master

File

Algorithms for interpreting data frames on a CAN-bus: case study of a Jaguar XF 2009

Author: Avila Embriz, L., 31 Jan 2013

Supervisor: Groote, J. (Supervisor 1)

Student thesis: Master

Analysis of a patient and beam restriction interface

Author: Osaiweran, A., 31 Aug 2008

Supervisor: Groote, J. (Supervisor 1), Boosten, M. (Supervisor 2), Franke, N. (External person) (Supervisor 2) & Mathijssen, A. (Supervisor 2)

Student thesis: Master

File