PeopleofSuperintelligence

Researcher

Orna Grumberg

Also known as Orna Grümberg, ארנה גרימברג

Orna Grumberg is an Israeli computer scientist at the Technion who works on model checking, the automated verification of hardware and software, and on automated program repair that uses automata learning. Born in Hadera in 1952, she earned her B.Sc., M.Sc. and Ph.D. in the Technion's Computer Science Department, chaired the Computer-Aided Verification conference in 1997, and co-wrote the book Model Checking in 1999. Academia Europaea elected her in 2013, and in 2015 she shared the CAV Award for counterexample-guided abstraction refinement (CEGAR) and was named an ACM Fellow. The Technical University of Munich gave her an honorary doctorate in 2017, and in 2021 she gave a Distinguished Lecture at the Simons Institute on automated formal program repair. She holds the Leumi Chair of Science at the Technion.

Now at
Technion
Born
1952
Badges

Years link to their sources.

Timeline

  1. By 2014

    Technion degrees in computer science

    She is born in Hadera, Israel, in 1952. She earns her B.Sc., M.Sc. and Ph.D. in the Computer Science Department at the Technion.

  2. 1997–1999

    CAV chair and Model Checking

    She chairs the Computer-Aided Verification (CAV) conference in 1997. In 1999, MIT Press publishes Model Checking, which she writes with Edmund Clarke and Doron Peled and which serves as the main reference for learning the field in academia and industry.

  3. 2005–2011

    Full professor and Leumi Chair

    She becomes a full professor in the Technion's Computer Science Department in 2005 and takes the Leumi Chair in Science in 2011. In 2010, she heads the committee for the CAV Award.

  4. 2013

    Elected to Academia Europaea

    In 2013, she is elected to Academia Europaea, in its Informatics section.

  5. 2015

    CAV Award and ACM Fellowship

    In 2015, she shares the CAV Award with Edmund Clarke and others for the localization-reduction technique and counterexample-guided abstraction refinement (CEGAR). The ACM also names her a Fellow in 2015 for contributions to research in automated formal verification of hardware and software systems.

  6. 2017

    Honorary doctorate from Munich

    In May 2017, she receives an honorary doctorate from the Technical University of Munich, as part of the 50th anniversary of computer science in Munich.

  7. 2021

    Karp Lecture on program repair

    In Spring 2021, she is a Visiting Scientist in the Theoretical Foundations of Computer Systems program at the Simons Institute. In February 2021, she gives the Richard M. Karp Distinguished Lecture on automated formal program repair, covering fault localization for the repair tool AllRepair and a method that combines assume-guarantee verification, automata learning and repair.

  8. As of October 2026

    Leumi Chair at the Technion

    She is a professor in the Technion's Computer Science Department and holds the Leumi Chair of Science. Her research interests include program repair and finding security vulnerabilities with formal methods.

Career

  1. Since 2005TechnionFull Professor, Leumi Chair of Science
  2. 2021Simons Institute for the Theory of ComputingVisiting Scientist

Education

  1. TechnionB.Sc., M.Sc. and Ph.D.

From the biography.

  1. Universities keep AI researchers for a median of 6 years, compared with 2 years at frontier labsIncludes Technion. Across 15,811 dated work stays (6,529 people), median role tenure runs from 6 years at universities to 2 years at frontier labs. We compare all five organization types, starting decades from the 1970s to the 2020s, and the organizations that keep people longest.
  2. The Massachusetts Institute of Technology trained or employed 44 of the 187 AI major-prize winners, more than any other universityIncludes Technion. The Massachusetts Institute of Technology trained or employed 44 of the 187 AI major-prize winners, more than any other university. We compare doctorate and 5+ year employment links, career timing and current workplaces for 187 major-prize and 1,111 best-paper winners.
  3. 41% of people who worked abroad later worked in their country of birth among people with a recorded birth country and dated work historyIncludes Technion. Of 991 people with a recorded birth country who worked outside it, 410 (41%) later held a work position at home, led by the United States at 69%.
  4. The United States employs an estimated 48% of people shaping AIIncludes Technion. We estimate where the people shaping AI work today, how universities, companies and research institutes split across countries, and how country shares have changed since the 1960s.

Colleagues

People with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Orna Grumberg yet. Send us a free-licensed photo.

  1. Orna Grumberg - Wikipedia en.wikipedia.org. Checked 22 October 2026.
  2. Orna Grumberg - Short Biography (Academia Europaea) ae-info.org. Checked 22 October 2026.
  3. Orna Grumberg (Academia Europaea member page) ae-info.org. Checked 22 October 2026.
  4. Prof. Orna Grumberg is Elected to Academy of Europe (Technion Computer Science news) cs.technion.ac.il. Checked 22 October 2026.
  5. Prof. Orna Grumberg Received the 2015 CAV Award (Technion Computer Science news) cs.technion.ac.il. Checked 22 October 2026.
  6. CAV Award - Computer Aided Verification i-cav.org. Checked 22 October 2026.
  7. Prof. Orna Grumberg will Receive Honorary Doctor from Technical University of Munich (Technion Computer Science news) cs.technion.ac.il. Checked 22 October 2026.
  8. Orna Grumberg - Simons Institute for the Theory of Computing simons.berkeley.edu. Checked 22 October 2026.
  9. Richard M. Karp Distinguished Lecture - Automated Formal Program Repair (Simons Institute) simons.berkeley.edu. Checked 22 October 2026.
  10. Home - Orna Grumberg (Technion Computer Science Faculty) orna.cswp.cs.technion.ac.il. Checked 22 October 2026.