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
This page is published in seven languages from an English source. The translations are reviewed, but a mistake can still slip through. If you spot one on this profile — a wrong word, a lost date, a sentence that says something the English does not — please tell us.
Brought model checking to industrial hardware verification; Kanellakis Award (2005)
Source: Jinfo.org — Jewish recipients of the Kanellakis Award
Similar Contributors
Amos Fiat
Andrei Broder
Anna Karlin
