Iman Hafiz Poernomo

MathSciNet


Ph.D. Monash University 2004 Australia
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 listed in chronological order.

NameSchoolYearDescendants
Akzhalova, AsselKing's College London2010
Alreshidi, AbdulrahmanKing's College London2016
Chan, KennethKing's College London2009
Duzbayev, NurzhanKing's College London2010
Jayaputera, JaneMonash University2008
Terrell, JeffreyKing's College London2014
Tsaramirsis, GeorgeKing's College London2010
Umarov, TimurKing's College London2010
Williams, GbolahanKing's College London2013

According to our current on-line database, Iman Poernomo has 9 students and 9 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.