Su investigación en Stanford se centra en la lógica de las pruebas, la síntesis, el diseño para comprobabilidad, y tolerantes a fallos de cálculo.