Iman Hafiz Poernomo
Ph.D. Monash University 2004
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: John Newsome Crossley
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Jayaputera, Jane | Monash University | 2008 | |
| Chan, Kenneth | King's College London | 2009 | |
| Akzhalova, Assel | King's College London | 2010 | |
| Duzbayev, Nurzhan | King's College London | 2010 | |
| Tsaramirsis, George | King's College London | 2010 | 1 |
| Umarov, Timur | King's College London | 2010 | |
| Williams, Gbolahan | King's College London | 2013 | |
| Terrell, Jeffrey | King's College London | 2014 | |
| Alreshidi, Abdulrahman | King's College London | 2016 | |
| Almisned, Faisal | King's College London | 2018 |
According to our current on-line database, Iman Poernomo has 10 students and 11 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 79516 for the advisor ID.