Orna Grumberg
Sign in to saveIsraeli computer scientist
Person · Open Library
- Works
- 8
Top works
- 25 Years of Model Checking
- Tools and Algorithms for the Construction and Analysis of Systems
- Languages : from Formal to Natural
- Model Checking, Second Edition
- Model checking
via Open Library + Wikidata
Wikidata facts
- Instance of
- human
- Gender
- female
- Citizenship
- Israel
- Place of birth
- Hadera
- Occupation
- computer scientist
- Educated at
- Technion – Israel Institute of Technology
- Languages spoken
- English language
- Field of work
- informatics
- Official website
- www.cs.technion.ac.il/users/orna
- Image
- Orna Grumberg 2006.jpg
Show 5 more facts
- member of
- Association for Computing Machinery
- date of birth
- 1952-05-14
- email address
- mailto:[email protected]
- maintained by WikiProject
- WikiProject Mathematics
- Commons category
- Orna Grumberg
via Wikidata · CC0