I am interested in techniques for reasoning about cyber‐physical systems that model computer systems interacting with the physical world. This involves techniques that will automatically prove that the systems are correct or try to find bugs in the systems. My work combines mathematical techniques from dynamical systems theory with computational techniques from logic, decision procedures, constraint solvers and optimization tools