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 ordered by family name.

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

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.