Orna Grumberg, informática

Efemérides

Orna Grumberg.

La informática Orna Grumberg (1952) cumple hoy años.

Es conocida por el desarrollo del model checkingverificació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

Edición realizada por Marta Macho Stadler

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *.