Lenore Zuck
Original record- Institution
- Weizmann Institute of Science
- Year
- 1987
- Country
- Israel
- MGP identifier
- 19285
Dissertation: Past Temporal Logic
Advisor 1
- Amir PnueliWeizmann Institute of Science · 1967
Students 6
| Name | Institution | Year | Students |
|---|---|---|---|
| Ittai Balaban | New York University | 2007 | 0 |
| Ariel Cohen | New York University | 2008 | 0 |
| Yi Fang | New York University | 2006 | 0 |
| Uri Klein | New York University | 2011 | 0 |
| Yaniv Sa'ar | Weizmann Institute of Science | 2011 | 0 |
| Da-Wei Wang | Yale University | 1992 | 0 |