Orna Grumberg
Orna Grumberg (; born April 30, 1952, in Hadera near Haifa) is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion.Grumberg is noted for developing model checking, a method for formally verifying hardware and software designs. With Edmund M. Clarke and Doron A. Peled, she is the author of the book ''Model Checking'' (MIT Press, 1999).
In 2013, Grumberg was elected to the Academia Europaea. In 2015, she was named a Fellow of the Association for Computing Machinery "for contributions to research in automated formal verification of hardware and software systems." In May 2017, she was awarded an honorary doctorate by the Technical University of Munich as part of the 50th anniversary of computer science in Munich. Provided by Wikipedia
1
Published: 2016.
Superior document: NATO Science for Peace and Security Series : Sub-Series D: Information and Communication Security, Volume 45
Links: Get full text
2
Published: 2014.
Superior document: NATO Science for Peace and Security Series, Voume 36
Links: Get full text
3
Published: c2008.
Superior document: NATO security through science series. D, Information and communication security, v. 14
Links: Get full text
4
Published: 2012.
Superior document: NATO science for peace and security series. Sub-series D, Information and communication security, v. 33
Links: Get full text
5
Published: 2010.
Superior document: NATO science for peace and security series. D, Information and communication security ; v. 25
Links: Get full text