Moshe Y. Vardi
Moshe Y. Vardi · Tecnología e ingeniería
Vardi fue pionero en la aplicación de la lógica matemática a la informática, desde la teoría de bases de datos hasta la verificación automatizada de hardware y software.
1954, Haifa, Israel
Israel · Estados Unidos (Houston, Rice University)
Vardi fue pionero en la aplicación de la lógica matemática a la informática, desde la teoría de bases de datos hasta la verificación automatizada de hardware y software. Nacido en Haifa de padres húngaros supervivientes del Holocausto, llegó a ser University Professor en la Universidad Rice y ganó los premios Gödel y Knuth. Sus métodos se usan para verificar la corrección de sistemas informáticos reales.
Verifique y profundice con estas referencias externas.
Fuente: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
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.
Vardi fue pionero en la aplicación de la lógica matemática a la informática, desde la teoría de bases de datos hasta la verificación automatizada de hardware y software.
Fuente: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
Contribuidores similares
Noam Nisan
Micha Sharir
Noga Alon
Pierre Wolper
