Giora Slutzki
Original record- Institution
- Tel Aviv University
- Year
- 1977
- Country
- Israel
- MGP identifier
- 108650
Dissertation: Logical Analysis of Simple Programs
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Amir PnueliWeizmann Institute of Science · 1967
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Jie Bao | Iowa State University | 2007 | 0 |
| Jia Tao | Iowa State University | 2012 | 0 |
| George Voutsadakis | Iowa State University | 1998 | 0 |