World's Best Scientists 2026 revealed!
Award Badge
Computer Science
Netherlands
2025

D-Index & Metrics

Computer Science

D-Index
49
Citations
8041
World Ranking
5961
National Ranking
93

Research.com Recognitions

  • 2025 - Research.com Computer Science in Netherlands Leader Award
  • 2022 - Research.com Computer Science in Netherlands Leader Award

Overview

Jan Friso Groote is affiliated with Eindhoven University of Technology in the Netherlands, contributing extensively to the field of computer science with a focus on formal methods and computational theory. Their research encompasses a wide range of topics including formal methods in verification, logic and programming, software testing, and parallel computing.

The main fields of study covered by Jan Friso Groote include:

  • Computer Science

Their subfields of study include:

  • Computational Theory and Mathematics
  • Artificial Intelligence
  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Key topics in their work are:

  • Formal Methods in Verification
  • Logic, programming, and type systems
  • Software Testing and Debugging Techniques
  • Semigroups and automata theory
  • Parallel Computing and Optimization Techniques
  • Machine Learning and Algorithms
  • Logic, Reasoning, and Knowledge

Jan Friso Groote has authored numerous research papers. Recent selected publications include:

  • Bisimulation by Partitioning Is Ω((m+n)log n), 2021, Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • Beyond SOTIF: Black Swans and Formal Methods, 2020, 2020 IEEE International Systems Conference (SysCon)
  • Linear parallel algorithms to compute strong and branching bisimilarity, 2022, Software & Systems Modeling
  • A Formally Verified Fail-Operational Safety Concept for Automated Driving, 2022, SAE International Journal of Connected and Automated Vehicles
  • A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains, 2020, Leibniz-Zentrum für Informatik (Schloss Dagstuhl)

The main venues where Jan Friso Groote frequently publishes are:

  • arXiv (Cornell University)
  • Lecture Notes in Computer Science
  • Electronic Proceedings in Theoretical Computer Science
  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • Logical Methods in Computer Science

Jan Friso Groote collaborates regularly with several coauthors, including:

  • Jan Martens
  • Muhammad Atif
  • Tim A. C. Willemse
  • Anton Wijs
  • Pieter Hijma

Additionally, Jan Friso Groote has contributed to several book publications. Their works include titles published by Springer Science+Business Media and Springer International Publishing such as:

  • Tools and Algorithms for the Construction and Analysis of Systems (2021, twice published)
  • Understanding Behaviour of Distributed Systems Using mCRL2 (2023)

Best Publications

  • Structured operational semantics and bisimulation as a congruence

    Jan Friso Groote;Frits Vaandrager

  • The Syntax and Semantics of μCRL

    Jan Friso Groote;Alban Ponse

  • Transition system specifications with negative premises

    Jan Friso Groote

  • An efficient algorithm for branching bisimulation and stuttering equivalence

    Jan Friso Groote;Frits W. Vaandrager

  • Proceedings of the 5th international symposium on Parallel and Distributed Processing and Applications

    Ivan Stojmenovic;Ruppa K. Thulasiram;Laurence T. Yang;Weijia Jia

  • The Formal Specification Language mCRL2

    JF Jan Friso Groote;Ahj Aad Mathijssen;MA Michel Reniers;YS Yaroslav Usenko

  • µCRL: A Toolset for Analysing Algebraic Specifications

    Stefan Blom;Wan Fokkink;Jan Friso Groote;Izak van Langevelde

  • Modeling and Analysis of Communicating Systems

    Jan Friso Groote;Mohammad Reza Mousavi

  • An overview of the mCRL2 toolset and its recent advances

    Sjoerd Cranen;Jan Friso Groote;Jeroen J. A. Keiren;Frank P. M. Stappers

  • The safety guaranteeing system at station Hoorn-Kersenboogerd

    J.F. Groote;S.F.M. van Vlijmen;J.W.C. Koorn

  • Algebraic process verification

    JF Jan Friso Groote;MA Michel Reniers

  • The meaning of negative premises in transition system specifications

    Roland Bol;Jan Friso Groote

  • The mCRL2 toolset for analysing concurrent systems : improvements in expressivity and usability

    Olav Bunte;Jan Friso Groote;Jeroen J. A. Keiren;Maurice Laveaux

  • A Bounded Retransmission Protocol for Large Data Packets

    Jan Friso Groote;Jaco van de Pol

  • Invariants in Process Algebra with Data

    Marc Bezem;Jan Friso Groote

  • Undecidable equivalences for basic process algebra

    Jan Friso Groote;Hans Hüttel

  • Parameterised boolean equation systems

    Jan Friso Groote;Tim A. C. Willemse

  • Confluence for process verification

    J. F. Groote;M. P. A. Sellink

  • Transformation of BPMN Models for Behaviour Analysis

    Ivo Raedts;Marija Petkovic;Yaroslav S. Usenko;Jan Martijn E. M. van der Werf

  • The Propositional Formula Checker HeerHugo

    Jan Friso Groote;Joost P. Warners

  • Proof Theory for muCRL: A Language for Processes with Data

    Jan Friso Groote;Alban Ponse

Frequent Co-Authors

Wan Fokkink
Wan Fokkink Vrije Universiteit Amsterdam
Sjouke Mauw
Sjouke Mauw University of Luxembourg
Frits W. Vaandrager
Frits W. Vaandrager Radboud University
Jean-Paul M. G. Linnartz
Jean-Paul M. G. Linnartz Eindhoven University of Technology
Rob van Glabbeek
Rob van Glabbeek Stanford University
Alexander Serebrenik
Alexander Serebrenik Eindhoven University of Technology
Chris Verhoef
Chris Verhoef Vrije Universiteit Amsterdam
Sem Borst
Sem Borst Eindhoven University of Technology
Onno Boxma
Onno Boxma Eindhoven University of Technology
Gerard J. M. Smit
Gerard J. M. Smit University of Twente

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Students passionate about Computer Science often consider broadening their credentials with online degrees tailored to current industry demands. Programs like the executive online mba are popular for those interested in merging technology skills with business leadership, paving the way for advanced management roles in tech companies.

For those seeking to specialize in information systems or digital resource management, the library degree offers valuable skills in data organization and digital archiving. These qualifications can lead to opportunities in information science, academic research, and corporate content management.

Many students are also searching for online affordable master’s programs that allow for flexible learning while minimizing costs. These programs can help professionals upskill or switch careers without leaving their current job.

Ambitious professionals interested in advanced leadership positions might consider a phd in leadership online. This degree combines research, theory, and practical skills for those aiming to make a strategic impact in organizations.

Best Scientists Citing Jan Friso Groote

Trending Scientists

Recently Published Articles