Nissim Francez
Original record- Institution
- Weizmann Institute of Science
- Year
- 1976
- Country
- Israel
- MGP identifier
- 19288
Dissertation: The Analysis Of Cyclic Programs
Advisor 1
- Amir PnueliWeizmann Institute of Science · 1967
Students 8
| Name | Institution | Year | Students |
|---|---|---|---|
| Tzilla Elrad | Technion-Israel Institute of Technology | 1983 | 1 |
| Limor Fix | Technion-Israel Institute of Technology | 1992 | 0 |
| Orna Grumberg | Technion-Israel Institute of Technology | 1984 | 6 |
| Rani Nelken | Technion-Israel Institute of Technology | 2001 | 0 |
| Sara Porat | Technion-Israel Institute of Technology | 1986 | 0 |
| Shmuel Sagiv | Technion-Israel Institute of Technology | 1991 | 2 |
| Liuba Shrira | Not recorded | — | 0 |
| Shuly Wintner | Technion-Israel Institute of Technology | 1997 | 0 |