Orna Grumberg#

Orna Grumberg
Membership Number:3454
Membership type:ORDINARY
Main Country of Residence:ISRAEL

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

Honours and Awards

Imprint Privacy policy « This page (revision-7) was last changed on Monday, 14. June 2021, 13:59 by Grumberg Orna
  • operated by