Shmuel Katz
Original record- Institution
- Weizmann Institute of Science
- Year
- 1977
- Country
- Israel
- MGP identifier
- 19272
Dissertation: Invariants And The Logical Analysis Of Programs
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Zohar MannaCarnegie Mellon University · 1968
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Marcelo Glusman | Technion-Israel Institute of Technology | 2003 | 0 |
| Orna Grumberg | Technion-Israel Institute of Technology | 1984 | 6 |
| Doron A. Peled | Technion-Israel Institute of Technology | 1991 | 2 |
| Marcelo Sihman | Technion-Israel Institute of Technology | 2003 | 0 |
| Gadi Taubenfeld | Technion-Israel Institute of Technology | 1988 | 0 |