cisco

Without their involvement we would not have attempted the scale of projects that we were able to do, using formal

Manager
Cisco

Oski came up with innovative strategies to deliver a comprehensive verification methodology for the Spacetime breakthrough architecture

Vice President
Software Development, Tabula
nvidia

Deep knowledge in formal methods, and the person to consult for successful deployment in chip projects

Sr. Director HW Engineering
NVIDIA