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 real-time embedded
systems, distributed algorithms and protocols.
For more information on the research in my group, see the description of our
Externally Funded Projects
Created by: Frits Vaandrager
Last change: May 6, 2009