Orna Grumberg
Orna Grumberg (Hebrew: ארנה גרימברג; born April 30, 1952, in Hadera near Haifa) is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion.[1]
Grumberg is noted for developing model checking, a method for formally verifying hardware and software designs.[2] With Edmund M. Clarke and Doron A. Peled, she is the author of the book Model Checking (MIT Press, 1999).[3][4]
In 2013, Grumberg was elected to the Academia Europaea.[5] 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."[6] 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.[7]
References
- ^ Faculty profile, Technion, retrieved 2013-12-07.
- ^ Microsoft Research profile Archived 2014-10-21 at the Wayback Machine
- ^ Review of Model Checking by Vladimir Zakharov (2001), Journal of Logic and Computation 11 (6): 962–964, doi:10.1093/logcom/11.6.962
- ^ Full Publication List at German Digital Bibliography & Library Project, retrieved 2020-09-07.
- ^ Ziri, Danielle (October 3, 2013), "Seven Israeli Professors elected to Academia Europaea", Jerusalem Post.
- ^ ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age, Association for Computing Machinery, 2015, archived from the original on 2015-12-09, retrieved 2015-12-09.
- ^ il-israel.org: Ein Leben für korrekte Bits und Bytes, 21. Mai 2017
- Webarchive template wayback links
- Articles with short description
- Short description matches Wikidata
- Articles containing Hebrew-language text
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with KBR identifiers
- Articles with LCCN identifiers
- Articles with NKC identifiers
- Articles with NTA identifiers
- Articles with ACM-DL identifiers
- Articles with DBLP identifiers
- Articles with Google Scholar identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ZBMATH identifiers
- Articles with SUDOC identifiers
- 1952 births
- Living people
- Israeli computer scientists
- Israeli women computer scientists
- Academic staff of Technion – Israel Institute of Technology
- Members of Academia Europaea
- 2015 Fellows of the Association for Computing Machinery
- Place of birth missing (living people)