Iman Hafiz Poernomo
Original record- Institution
- Monash University
- Year
- 2004
- Country
- Australia
- MGP identifier
- 79516
Dissertation: Variations on a Theme of Curry and Howard: The Curry-Howard Isomorphism and the Proofs-as-Programs Paradigm Adapted to Imperative and Structured Program Synthesis
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- John Newsome CrossleyInstitution not recorded
Students 10
| Name | Institution | Year | Students |
|---|---|---|---|
| Assel Akzhalova | King's College London | 2010 | 0 |
| Faisal Almisned | King's College London | 2018 | 0 |
| Abdulrahman Alreshidi | King's College London | 2016 | 0 |
| Kenneth Chan | King's College London | 2009 | 0 |
| Nurzhan Duzbayev | King's College London | 2010 | 0 |
| Jane Christy Jayaputera | Monash University | 2008 | 0 |
| Jeffrey William Terrell | King's College London | 2014 | 0 |
| George Tsaramirsis | King's College London | 2010 | 1 |
| Timur Faridovich Umarov | King's College London | 2010 | 0 |
| Gbolahan Kolawale Williams | King's College London | 2013 | 0 |