Orna Grumberg

Home
Search
Extrema
About MGP
- Mission
- History (PDF)
- Support Us
- News
- Staff
- Recognition
- Acknowledgments
Links
FAQs
Posters
Submit Data
Contact
Donate

A service of the NDSU Department of Mathematics, in association with the American Mathematical Society.

MathSciNet

Ph.D. Technion-Israel Institute of Technology 1984

Dissertation: Proof Rules for Fair Termination of Nondeterministic Programs

Mathematics Subject Classification: 68—Computer science

Advisor: Shmuel Katz
Advisor 2: Nissim Francez

Students:
Click here to see the students ordered by family name.

Name	School	Year	Descendants
Kupferman-Bernholtz, Orna	Technion-Israel Institute of Technology	1995	3
Yorav, Karen	Technion-Israel Institute of Technology	2000
Bustan, Doron	Technion-Israel Institute of Technology	2002
Heyman, Tamir	Technion-Israel Institute of Technology	2004
Shoham, Sharon	Technion-Israel Institute of Technology	2009
Yadgar, Avraham	Technion-Israel Institute of Technology	2010

According to our current on-line database, Orna Grumberg has 6 students and 9 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 77905 for the advisor ID.