Orna Grumberg#


Orna Grumberg
Email:orna 'at' cs.technion.ac.il
Membership Number:3454
Membership type:ORDINARY
Main Country of Residence:ISRAEL
Section:INFORMATICS
Username:ogrumberg
Elected:2013
Homepage: 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

Honours and Awards


Imprint Privacy policy « This page (revision-7) was last updated on Friday, 9. May 2014, 18:01 by Grumberg Orna
  • operated by