Robert Kurshan
Robert Kurshan · Technology & Engineering
Brought model checking to industrial hardware verification; Kanellakis Award (2005)
2005
United States
Robert Kurshan is recognized among Jewish contributors to Technology & Engineering — Brought model checking to industrial hardware verification; Kanellakis Award (2005)
Kurshan, an American computer scientist listed among Jewish figures in computing, brought automata-theoretic model checking from theory into industrial hardware verification. At Bell Labs he built tools that let engineers formally prove the correctness of complex circuit designs. He shared the 2005 Kanellakis Award for making formal verification practical.
Verify and go deeper with these external references.
Source: Jinfo.org — Jewish recipients of the Kanellakis Award
Brought model checking to industrial hardware verification; Kanellakis Award (2005)
Source: Jinfo.org — Jewish recipients of the Kanellakis Award
Similar Contributors
Pierre Wolper
Daniel Sleator
Phillip Rogaway
Hanan Samet
