Orna Grumberg#
| Membership Number: | 3454 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2013 |
| Main Country of Residence: | ISRAEL |
| Homepage(s): | http://www.cs.technion.ac.il/people/orna |
Present and Previous Positions
- 2011-today, The Leumi Chair in Science
- 2005-today, Full Professor, Computer Science Department, Technion, Israel
- 2010-today, Steering committee of the Computer Aided Verification (CAV) conference
- 2008-2010, A member of the CAV award committee (Chairing: 2010)
- 2003-today, Directory board of the NATO summer school at Marktoberdorf (blue series)
- 2003-today, Editorial board of the Journal on Information and Computation
- 2003-today, Editorial board of the Journal on Formal Methods in System Design
- 2004-2007, Editorial board of the Journal on Logical Methods in Computer Science (LMCS)
Fields of Scholarship
- Model checking
- Automated verification of hardware and software systems
- Abstraction, refinement, and counterexamples
- Compositional model checking
- SAT-based model checking
- Distributed model checking
- Security vulnerabilities
- Temporal logics
- Automata on infinite objects
