Research Projects of
One of my long term research objectives is to help to give the
new discipline of (computer based) system engineering
a sound mathematical basis.
I have a strong interest in the development and application of
theory, (formal) methods and tools for the specification and analysis
of computer based systems.
In particular, I am interested in automata learning, model checking, real-time embedded
systems, and distributed algorithms and protocols.
For more information on my research, see the description of the
research programme of the Software Science group.
Created by: Frits Vaandrager
Last change: December 31, 2018