La informática Orna Grumberg (1952) cumple hoy años.
Es conocida por el desarrollo del model checking –verificación de modelos– un método automático de verificación de un sistema formal.
Junto a Edmund M. Clarke y Doron A. Peled, es la autora del libro Model Checking (1999).
En 2015 fue nombrada miembro de la Association for Computing Machinery, por sus contribuciones en la investigación de la verificación automática formal de sistemas de hardware y software.
Más información
- Su página web, TECHNION-Israel Institute of Technology
- Google Scholar
- Wikipedia
Edición realizada por Marta Macho Stadler