World's Best Scientists 2026 revealed!
Frits W. Vaandrager

Frits W. Vaandrager

Award Badge
Computer Science
Netherlands
2025

D-Index & Metrics

Computer Science

D-Index
54
Citations
11890
World Ranking
4554
National Ranking
64

Research.com Recognitions

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

Overview

Frits W. Vaandrager is affiliated with Radboud University in the Netherlands, contributing extensively to the field of computer science. The research focus centers primarily on areas including artificial intelligence, computational theory and mathematics, as well as software development and analysis.

The scientist's work covers several key topics, notably:

  • Machine Learning and Algorithms
  • Software Testing and Debugging Techniques
  • Semigroups and Automata Theory
  • Algorithms and Data Compression
  • Formal Methods in Verification
  • Optimization and Search Problems
  • Computability, Logic, AI Algorithms

Frits W. Vaandrager has published research in various respected venues. Frequent publication venues include:

  • arXiv (Cornell University)
  • Lecture Notes in Computer Science
  • Information and Computation
  • Data Archiving and Networked Services (DANS)
  • Theoretical Computer Science

Significant recent papers authored or co-authored by Vaandrager include:

  • Learning Mealy machines with one timer, 2023, Information and Computation
  • State identification for labeled transition systems with inputs and outputs, 2021, Data Archiving and Networked Services (DANS)
  • Active Learning of Mealy Machines with Timers, 2024, arXiv (Cornell University)
  • State Identification for Labeled Transition Systems with Inputs and Outputs, 2020, Lecture Notes in Computer Science
  • A Myhill-Nerode theorem for register automata and symbolic trace languages, 2022, Theoretical Computer Science

The scientist collaborates frequently with several researchers, including:

  • Bharat Garhewal
  • Véronique Bruyère
  • Guillermo A. Pérez
  • Gaëtan Staquet
  • Abhisek Midya

Within computer science, Vaandrager's publications span 55 works with particular emphasis on artificial intelligence (22 publications), computational theory and mathematics (14 publications), and software (9 publications). Additional contributions address computer networks and communications as well as hardware and architecture.

Best Publications

  • Forward and backward simulations I.: untimed systems

    Nancy A. Lynch;Frits W. Vaandrager

  • Hybrid I/O automata

    Nancy Lynch;Roberto Segala;Frits Vaandrager

  • Structured operational semantics and bisimulation as a congruence

    Jan Friso Groote;Frits Vaandrager

  • Three logics for branching bisimulation

    Rocco De Nicola;Frits Vaandrager

  • Forward and Backward Simulations

    Nancy Lynch;Frits Vaandrager

  • Action versus State based Logics for Transition Systems

    Rocco De Nicola;Frits W. Vaandrager

  • Minimum-Cost Reachability for Priced Timed Automata

    Gerd Behrmann;Ansgar Fehnker;Thomas Hune;Kim Guldstrand Larsen

  • Petri net models for algebraic theories of concurrency

    Rob J. van Glabbeek;Frits W. Vaandrager

  • Testing timed automata

    Jan Springintveld;Frits Vaandrager;Pedro R. D'Argenio

  • Linear Parametric Model Checking of Timed Automata

    Thomas Hune;Judi Romijn;Mariëlle Stoelinga;Frits W. Vaandrager

  • An efficient algorithm for branching bisimulation and stuttering equivalence

    Jan Friso Groote;Frits W. Vaandrager

  • Hybrid I/O automata

    Nancy Lynch;Roberto Segala;Frits Vaandrager;H. B. Weinberg

  • The Theory of Timed I/O Automata

    Dilsun Kirli Kaynar;Nancy A. Lynch;Roberto Segala;Frits W. Vaandrager

  • FORWARD AND BACKWARD SIMULATIONS PART II: TIMING-BASED SYSTEMS

    Nancy A. Lynch;Frits W. Vaandrager

  • Model learning

    Frits Vaandrager

  • Turning SOS rules into equations

    Luca Aceto;Bard Bloom;Frits Vaandrager

  • Encoding information into polymers

    Martin G. T. A. Rutten;Frits W. Vaandrager;Johannes A. A. W. Elemans;Roeland J. M. Nolte

  • Back and forth bisimulations

    Rocco De Nicola;Ugo Montanari;Frits W. Vaandrager

  • Timed I/O automata: a mathematical framework for modeling and analyzing real-time systems

    D.K. Kaynar;N. Lynch;R. Segala;F. Vaandrager

  • Combining Model Learning and Model Checking to Analyze TCP Implementations

    Paul Fiterau-Brostean;Ramon Janssen;Frits W. Vaandrager

  • Hybrid I/O automata

    N. Lynch;R. Segala;F.W. Vaandrager;H.B. Weinberg

Frequent Co-Authors

Roberto Segala
Roberto Segala University of Verona
Mariëlle Stoelinga
Mariëlle Stoelinga University of Twente
Rob van Glabbeek
Rob van Glabbeek Stanford University
Jan Friso Groote
Jan Friso Groote Eindhoven University of Technology
Rocco De Nicola
Rocco De Nicola IMT Institute for Advanced Studies Lucca
Grzegorz Rozenberg
Grzegorz Rozenberg Leiden University
Twan Basten
Twan Basten Eindhoven University of Technology
Joël Ouaknine
Joël Ouaknine Max Planck Institute for Software Systems
Henk Corporaal
Henk Corporaal Eindhoven University of Technology

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

As technology continues to transform industries, online degrees have become a flexible path for building expertise in Computer Science and related fields. Choosing among the the best online degree programs ensures you receive quality, accredited instruction and gain skills that match current industry needs.

Specialized programs like a game art degree online can lead to exciting careers in video game design, animation, and interactive media. Likewise, a online master's degree cyber security opens doors to in-demand roles in information security and risk management.

For those looking to branch into project coordination and leadership, a cheap online construction management degree can integrate technical knowledge with management skills relevant to large-scale technology and infrastructure projects.

Exploring related online degrees can widen your career pathways in computer science, gaming, cybersecurity, and management—making your education adaptable to a fast-evolving job market.

Best Scientists Citing Frits W. Vaandrager

Trending Scientists