My main interest is in formal verification as a framework for
modelling, analyzing, verifying, and synthesizing complex systems. The
main topic is currently distributed model checking of temporal properties.
Other interests are in computational complexity.
