Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Research Projects Frits Vaandrager
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
research programme.