Orna Grumberg, informática

Categorías

grumberg_orna_smallLa 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 un comentario

Obligatorio

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>