My interests span three areas: Programming Systems, Hardware, and Theory. I use techniques from theoretical computer science to solve problems in programming systems and hardware design that are of practical interest. During the last 30+ years my research has focused on Model Checking and the formal verification of hardware and software correctness.