Orna Grumberg
Orna Grumberg ( Hebrew ארנה גרימברג; born May 14, 1952 in Hadera ) is an Israeli computer scientist . She currently holds the Leumi Chair of Science at Technion , Israel's Technical University in Haifa .
Life
Orna Grumberg studied computer science (B.Sc. 1976 and M.Sc. 1978) and graduated with a doctorate (Ph.D.) in 1984. From 1985 to 1987 she was a postdoc at Carnegie Mellon University under Professor Edmund M. Clarke . Orna Grumberg developed what is known as model checking together with Clarke .
The first model checking algorithms could only check small computer programs. Grumberg succeeded in developing a new approach to model testing ( automatic abstraction ). Orna Grumberg worked as a consultant in the area of model testing for companies such as Intel and Microsoft .
Grumberg has held many administrative positions in her career. She was at the Technion Dean of the Graduate School, chaired the organizing committee of CAV (Computer Aided Verification) in 1997 and TACAS (Tools and Algorithms for the Construction and Analysis of Systems) in 2007 and has held many large specialist conferences such as FMCAD (Formal Methods in Computer Aided Design) and LICS (Logic in Computer Science). Orna Grumberg is also one of the lecturers at the Security Through Science Summer School at the Technical University of Munich together with NATO in Marktoberdorf, Bavaria .
Orna Grumberg lives in Haifa and has two daughters.
Awards
Grumberg has been a member of the Academia Europaea since 2013 . In 2015 she was appointed a Fellow of the Association for Computing Machinery (ACM) "for her contribution to research on the automatic formal verification of hardware and software systems". In May 2017, she was awarded an honorary doctorate from the Technical University of Munich as part of the 50th anniversary of IT in Munich.
Fonts
- Together with Edmund M. Clarke and Doron A. Peled: Model Checking . MIT Press 1999, ISBN 0-585-38558-0 .
- 25 years of model checking . Springer 2008, ISBN 978-3-540-69849-4
Web links
- Orna Grumberg's website at the Technion
- List of publications at Digital Bibliography & Library Project
Individual evidence
- ↑ Microsoft.com: Academic Research Profile ( Memento of the original from October 21, 2014 in the Internet Archive ) Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice.
- ^ Danielle Ziri: Seven Israeli Professors elected to Academia Europaea . In: The Jerusalem Post , October 3, 2013
- ↑ Association for Computing Machinery: ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age ( Memento of the original from December 9, 2015 in the Internet Archive ) Info: The archive link has been inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice. , 2015
- ↑ il-israel.org: A Life for Correct Bits and Bytes , May 21, 2017
- ↑ Vladimir Zakharov: Review of Model Checking . In: Journal of Logic and Computation , 11 (6), 2001, pp. 962-964, doi: 10.1093 / logcom / 11.6.962
| personal data | |
|---|---|
| SURNAME | Grumberg, Orna |
| BRIEF DESCRIPTION | Israeli computer scientist and computer science professor |
| DATE OF BIRTH | May 14, 1952 |
| PLACE OF BIRTH | Hadera |