Professor Frits W. Vaandrager
Frits W. Vaandrager, Ph.D.
is Professor of Informatics for Technical Applications, Institute for
Computing and Information Sciences, Radboud University Nijmegen.
He is Editor of
Information and Computation and LMCS.
Frits has a strong interest in the development and application
of theory, (formal) methods and tools for the specication and analysis of
computer based systems. In particular, he is interested in real-time embedded
systems, distributed algorithms and protocols. Together with Lynch, Segala,
and Kaynar he developed the (timed, probabilistic and hybrid) input/output
automata formalisms, which are basic mathematical frameworks to support
description and analysis of computing systems. He has been and is involved
in a large number of projects in which formal verification and model checking
technology is applied to tackle practical problems from industrial partners.
Recently, he has also become interested in automata learning.
His papers include
Learning Nondeterministic Register Automata Using Mappers,
Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction,
Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning,
Learning Fragments of the TCP Network Protocol,
Recreational Formal Methods: Designing Vacuum Cleaning Trajectories,
and
Improving Active Mealy Machine Learning for Protocol Conformance Testing.
His books include
Lectures on Embedded Systems: European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands,
Hybrid Systems: Computation and Control: Second International Workshop, HSCC’99, Berg en Dal, The Netherlands, and
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary.
Read the
full list of his publications!
Frits earned his M.S. in Mathematics with specialization in Computer Science
at the University of Leiden in 1985 with the thesis “Algebraic techniques
for concurrency and their application”. He earned his Ph.D. in Computer Science
at the University of Amsterdam in 1990 with the thesis “Verification of two
communication protocols by means of process algebra”.
Read his
LinkedIn profile.
