Mordechai Ben-Ari
Original record- Institution
- Tel Aviv University
- Year
- 1982
- Country
- Israel
- MGP identifier
- 96897
Dissertation: Complexity of Proofs and Models in Programming Logics
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Zvi GalilCornell University · 1975
- Amir PnueliWeizmann Institute of Science · 1967
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Ronit Ben-Bassat Levy | Weizmann Institute of Science | 2009 | 0 |
| Yifat Ben-David Kolikant | Weizmann Institute of Science | 2003 | 0 |
| Neomi Liberman | Hebrew University of Jerusalem | 2008 | 0 |
| Jan Lönnberg | Aalto-yliopisto | 2012 | 0 |
| Niko Myller | Joensuun yliopisto | 2009 | 0 |
| Noa Ragonis | Weizmann Institute of Science | 2004 | 0 |
| Cecile Yehezkel | Weizmann Institute of Science | 2005 | 0 |