The primary focus of my research
is the computer-aided verification and validation of computer systems,
including concurrent and distributed systems; security, network and
wireless protocols; software systems; biological systems; and
safety-critical and embedded systems. Throughout my career, I have been
interested in both the computational complexity and algorithmica of
verification, striving to provide e.g. NP- and PSPACE-hardness proofs
for those verification problems that are computationally intractable,
and efficient (and sometimes parallel) algorithms for those that are
not.
I also helped co-found the company Reactive Systems, Inc., which
makes the Reactis®
model-based testing and
validation tool for embedded software.
Other Links:
