Robert Kurshan
Robert Kurshan · Tecnología e ingeniería
Kurshan, informático estadounidense incluido entre las figuras judías de la computación, llevó la verificación de modelos basada en teoría de autómatas de la teoría a la verificación industrial de hardware.
2005
Estados Unidos
Kurshan, informático estadounidense incluido entre las figuras judías de la computación, llevó la verificación de modelos basada en teoría de autómatas de la teoría a la verificación industrial de hardware. En Bell Labs creó herramientas que permitían a los ingenieros probar formalmente la corrección de circuitos complejos. Compartió el Premio Kanellakis 2005 por hacer práctica la verificación formal.
Verifique y profundice con estas referencias externas.
Fuente: Jinfo.org — Jewish recipients of the Kanellakis Award
Esta página se publica en siete idiomas a partir de una fuente en inglés. Las traducciones se revisan, pero puede colarse un error. Si detecta alguno en esta ficha —una palabra equivocada, una fecha perdida, una frase que dice algo que el inglés no dice—, háganoslo saber.
Kurshan, informático estadounidense incluido entre las figuras judías de la computación, llevó la verificación de modelos basada en teoría de autómatas de la teoría a la verificación industrial de hardware.
Fuente: Jinfo.org — Jewish recipients of the Kanellakis Award
Contribuidores similares
Amos Fiat
Andrei Broder
Anna Karlin
