Nir Piterman
Original record- Institution
- Weizmann Institute of Science
- Year
- 2004
- Country
- Israel
- MGP identifier
- 298324
Dissertation: Verification of Infinite-State Systems
Advisor 1
- Amir PnueliWeizmann Institute of Science · 1967
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Alexey Bakhirkin | University of Leicester | 2016 | 0 |
| Claudia Cauli | Göteborgs universitet | 2022 | 0 |
| Nicolas D'Ippolito | Imperial College London | 2013 | 0 |
| Heidy Khlaaf | University College London | 2018 | 0 |
| Huan-Pu Kuo | Imperial College London | 2013 | 0 |