Robert Kurshan
Robert Kurshan · Technologie & ingénierie
Kurshan, informaticien américain recensé parmi les figures juives de l'informatique, fit passer le model checking fondé sur la théorie des automates de la théorie à la vérification matérielle industrielle.
2005
États-Unis
Kurshan, informaticien américain recensé parmi les figures juives de l'informatique, fit passer le model checking fondé sur la théorie des automates de la théorie à la vérification matérielle industrielle. Aux Bell Labs, il conçut des outils permettant aux ingénieurs de prouver formellement la correction de circuits complexes. Il partagea le prix Kanellakis 2005 pour avoir rendu la vérification formelle applicable.
Vérifiez et approfondissez avec ces références externes.
Source : Jinfo.org — Jewish recipients of the Kanellakis Award
Cette page paraît en sept langues à partir d'une source anglaise. Les traductions sont relues, mais une erreur peut passer. Si vous en repérez une sur cette fiche — un mot fautif, une date perdue, une phrase qui dit autre chose que l'anglais —, signalez-la-nous.
Kurshan, informaticien américain recensé parmi les figures juives de l'informatique, fit passer le model checking fondé sur la théorie des automates de la théorie à la vérification matérielle industrielle.
Source : Jinfo.org — Jewish recipients of the Kanellakis Award
Contributeurs similaires
Amos Fiat
Andrei Broder
Anna Karlin
