Orna Grumberg
Original record- Institution
- Technion-Israel Institute of Technology
- Year
- 1984
- Country
- Israel
- MGP identifier
- 77905
Dissertation: Proof Rules for Fair Termination of Nondeterministic Programs
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Shmuel KatzWeizmann Institute of Science · 1977
- Nissim FrancezWeizmann Institute of Science · 1976
Students 6
| Name | Institution | Year | Students |
|---|---|---|---|
| Doron Bustan | Technion-Israel Institute of Technology | 2002 | 0 |
| Tamir Heyman | Technion-Israel Institute of Technology | 2004 | 0 |
| Orna Kupferman-Bernholtz | Technion-Israel Institute of Technology | 1995 | 2 |
| Sharon Shoham | Technion-Israel Institute of Technology | 2009 | 0 |
| Avraham Yadgar | Technion-Israel Institute of Technology | 2010 | 0 |
| Karen Yorav | Technion-Israel Institute of Technology | 2000 | 0 |