AboutSign inJoin
User photo

Orna Grumberg

About

Orna Grumberg is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion.

Books

Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Michael Huth, Orna Grumberg
Software Safety and Security
Software Safety and Security
Orna Grumberg, Tobias Nipkow, Benedikt Hauptmann, NATO Emerging Security Challenges Division
Languages: From Formal to Natural
Languages: From Formal to Natural
Michael Kaminski, Orna Grumberg, Shmuel Katz, Shuly Wintner
Computer Aided Verification
Computer Aided Verification
Orna Grumberg

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian