GRUMBERG, Orna
Descripción
Orna GRUMBERG [Hadera (Israel), 1952]. Informática israelí y catedrática del departamento Leumi del Instituto Israelí de Tecnología, Technion. Conocida por el desarrollo del model checking o verificación de modelos.
Biografía
Orna Grumberg nació el 14 de mayo de 1952 en Hadera, Haifa (Israel).
Estudió informática (B.Sc. 1976 y M.Sc. 1978) y se doctoró (Ph.D.) en 1984 en el Instituto Israelí de Tecnología, Technion.
De 1985 a 1987 disfrutó de una beca de postdoctorado en la Universidad Carnegie Mellon de Pittsburg (Pensilvanyia), bajo la dirección del profesor Edmund M. Clarke, con quien desarrolló el llamado model checking o verificación de modelos automatizada.
La verificación automatizada permite comprobar formalmente sistemas concurrentes de estados finitos. Las especificaciones sobre el sistema se expresan como fórmulas de lógica temporal y usan algoritmos simbólicos eficientes que atraviesan el modelo definido por el sistema y verifican si cumplen o no.
Los algoritmos utilizados hasta ese momento sólo permitían verificar programas de pequeños ordenadores. Orna Grumberg dio un nuevo enfoque para las pruebas de modelos, denominado Abstracción automática. Intel y Microsoft solicitaron los servicios de consultoría de la profesora Grumberg en ese campo.
Además de la verificación automatizada de software y hardware, Orna Grumberg investigó la abstracción y el refinamiento en la verificación de modelos; el control de modelo modular; el control de modelo distribuido; la explotación de la verificación de modelos para la búsqueda de vulnerabilidades de seguridad; la verificación del modelo basado en SAT y la lógica temporal.
La profesora Grunberg es miembro del Comité de Dirección de la Conferencia CAV (Verificación Asistida por Ordenador) y presidió la Comisión de los Premios CAV en 2010, otorgados a las contribuciones más destacadas en el área de la verificación de modelos. Es asimismo miembro del Consejo de Administración de la Escuela de Verano de la Universidad de Munich en Marktoberdorf, cerca de Munich, donde, en colaboración con la OTAN, se imparten durante dos semanas Informática y Matemáticas avanzadas a estudiantes e investigadores. Presidió las Conferencias CAV (Computer Aided Verification) en 1997 y TACAS (Conference on Tools and Algorithms for the Construction and Analysis of Systems) en 2007. Orna Grumberg pertenece a los Consejos Editoriales de las publicaciones "Formal Methods in System Design" e "Information and Computation".
En 2013 Orna Grumberg fue admitida en la Academia Europæa, institución no gubernamental fundada en 1988 y dedicada a promover el aprendizaje, la educación y la investigación por expertos en Ciencias Físicas, en Tecnología, en Ciencias Biológicas y Medicina, en Matemáticas, en Humanidades, en Ciencias Sociales y del Conocimiento, en Ciencias Económicas y en Derecho.
Fue nombrada en 2015 miembro de la Association for Computing Machinery por sus investigaciones de la verificación automática formal de sistemas de hardware y software.
Es Vicedecana en el Departamento de Ciencias Informáticas del Instituto Tecnológico de Israel y directora del Comité del Programa Curricular en Ingeniería de Software, que nutre de ingenieros postgraduados y doctores a la industria israelí, en empresas como IBM, Intel y RAFAEL (Sistemas de Defensa Avanzada).
El libro 'Model Checking' (1999), que escribió junto a Edmund M. Clarke y Doron A. Peled, es reconocido como la guía para el método automatizado de verificación de un sistema formal.
Otras publicaciones, editadas de forma individual o en colaboración, relacionadas con el análisis estático, abstracción y modularidad en el control de modelos:
"Model Checking and Modular Verification", 1994
"Model Checking and Abstraction", 1994
"Abstract Interpretation of Reactive Systems", ACM Transactions on Programming Languages and Systems (TOPLAS), 1997
"Static Analysis for State-Space Reductions Preserving Temporal Logics",
"Abstractions and Reductions in Model Checking ", 2001
"3-Valued Abstraction: More Precision at Less Cost ", 2006
"A Framework for Compositional Verification of Multi-Valued Systems via Abstraction-Refinement ", 2009
"Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement", 2016
"Modular Demand-Driven Analysis of Semantic Difference for Program Versions", 2017
Orna Grumberg vive en Haifa y tiene dos hijas.
Más información
Orna Grumberg nació el 14 de mayo de 1952 en Hadera, Haifa (Israel).
Estudió informática (B.Sc. 1976 y M.Sc. 1978) y se doctoró (Ph.D.) en 1984 en el Instituto Israelí de Tecnología, Technion.
De 1985 a 1987 disfrutó de una beca de postdoctorado en la Universidad Carnegie Mellon de Pittsburg (Pensilvanyia), bajo la dirección del profesor Edmund M. Clarke, con quien desarrolló el llamado model checking o verificación de modelos automatizada.
La verificación automatizada permite comprobar formalmente sistemas concurrentes de estados finitos. Las especificaciones sobre el sistema se expresan como fórmulas de lógica temporal y usan algoritmos simbólicos eficientes que atraviesan el modelo definido por el sistema y verifican si cumplen o no.
Los algoritmos utilizados hasta ese momento sólo permitían verificar programas de pequeños ordenadores. Orna Grumberg dio un nuevo enfoque para las pruebas de modelos, denominado Abstracción automática. Intel y Microsoft solicitaron los servicios de consultoría de la profesora Grumberg en ese campo.
Además de la verificación automatizada de software y hardware, Orna Grumberg investigó la abstracción y el refinamiento en la verificación de modelos; el control de modelo modular; el control de modelo distribuido; la explotación de la verificación de modelos para la búsqueda de vulnerabilidades de seguridad; la verificación del modelo basado en SAT y la lógica temporal.
La profesora Grunberg es miembro del Comité de Dirección de la Conferencia CAV (Verificación Asistida por Ordenador) y presidió la Comisión de los Premios CAV en 2010, otorgados a las contribuciones más destacadas en el área de la verificación de modelos. Es asimismo miembro del Consejo de Administración de la Escuela de Verano de la Universidad de Munich en Marktoberdorf, cerca de Munich, donde, en colaboración con la OTAN, se imparten durante dos semanas Informática y Matemáticas avanzadas a estudiantes e investigadores. Presidió las Conferencias CAV (Computer Aided Verification) en 1997 y TACAS (Conference on Tools and Algorithms for the Construction and Analysis of Systems) en 2007. Orna Grumberg pertenece a los Consejos Editoriales de las publicaciones "Formal Methods in System Design" e "Information and Computation".
En 2013 Orna Grumberg fue admitida en la Academia Europæa, institución no gubernamental fundada en 1988 y dedicada a promover el aprendizaje, la educación y la investigación por expertos en Ciencias Físicas, en Tecnología, en Ciencias Biológicas y Medicina, en Matemáticas, en Humanidades, en Ciencias Sociales y del Conocimiento, en Ciencias Económicas y en Derecho.
Fue nombrada en 2015 miembro de la Association for Computing Machinery por sus investigaciones de la verificación automática formal de sistemas de hardware y software.
Es Vicedecana en el Departamento de Ciencias Informáticas del Instituto Tecnológico de Israel y directora del Comité del Programa Curricular en Ingeniería de Software, que nutre de ingenieros postgraduados y doctores a la industria israelí, en empresas como IBM, Intel y RAFAEL (Sistemas de Defensa Avanzada).
El libro 'Model Checking' (1999), que escribió junto a Edmund M. Clarke y Doron A. Peled, es reconocido como la guía para el método automatizado de verificación de un sistema formal.
Otras publicaciones, editadas de forma individual o en colaboración, relacionadas con el análisis estático, abstracción y modularidad en el control de modelos:
"Model Checking and Modular Verification", 1994
"Model Checking and Abstraction", 1994
"Abstract Interpretation of Reactive Systems", ACM Transactions on Programming Languages and Systems (TOPLAS), 1997
"Static Analysis for State-Space Reductions Preserving Temporal Logics",
"Abstractions and Reductions in Model Checking ", 2001
"3-Valued Abstraction: More Precision at Less Cost ", 2006
"A Framework for Compositional Verification of Multi-Valued Systems via Abstraction-Refinement ", 2009
"Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement", 2016
"Modular Demand-Driven Analysis of Semantic Difference for Program Versions", 2017
Orna Grumberg vive en Haifa y tiene dos hijas.
Más información
Vídeos
December 17-23, 2017. Technion, Winter School, Jerusalem.
