People
Lead Researcher
I joined Novi in October 2018 to help find tools and methods to aid the development of high assurance systems. I was a professor of computer science at Stanford University from 1987 to 2017, when I retired (so I am now a professor, emeritus).
My primary research area is automated formal verification using a variety of techniques.
Formal methods, high assurance systems, security