Christine Sherif Rizkallah
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 196052
Dissertation: Verification of Program Computations
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Kurt MehlhornCornell University · 1974
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Zilin Chen | University of New South Wales | 2023 | 0 |
| Liam O'Connor | University of New South Wales | 2019 | 0 |