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
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.