Supervision
MSc and PhD supervision
Current Supervision
Clayton Baker (Co-supervisor: Marco Ragni), PhD, Predictive modelling of individual human reasoning using belief revision, UCT, 2022-
Eleanor Kedem (Co-supervisors: Francesco Petruccione, Ilya Sinayskiy), MSc, Simulated Annealing Using Quantum Inspired Algorithms, UCT, 2022-
Frances Gillis-Webber, PhD, Modelling Localised Representations of an OWL Ontology, UCT, 2023-
Jane Imrie, MSc, Pedagogical Defeasible Reasoning, UCT, 2023-
Michael Harrison, MSc, An algorithmic approach to rational preferential reasoning for Datalog, UCT, 2018-
Steve Wang, MSc, Defeasible Justification for the KLM Framework, UCT, 2021-
Yahlieel Jafta, MSc, Semantic data access for relational databases using an ontology, UWC, 2021-
Past Supervision
Clayton Baker, MSc (with distinction), An Empirical Investigation for Patterns of Belief Change in Human Reasoning, UCT, 2020-2022
Guy Paterson-Jones (Co-supervisor: Giovanni Casini), MSc, KLM-Style Defeasible Reasoning for Datalog, UCT, 2020-2022
Jesse Heyninck, Postdoctoral Fellow, UCT, 2021-2022
Abraham Parbhunath (Co-supervisor: Louise Leenen), MIT, An analysis of cybersecurity culture in an organisation managing Critical Infrastructure, UCT, 2018-2021
Rachel Drake (Supervisor: Deshen Moodley), MIT (with distinction), A semantic Bayesian network for automated share evaluation on the JSE, UCT, 2019-2020
Victoria Chama, MSc, Explanation for Defeasible Entailment, UCT, 2018-2020
Julian Chingoma, MSc, Enriching deontic logic with typicality, UCT, 2018-2020
Adam Kaliski, MSc (with distinction), An Overview of KLM-Style Defeasible Entailment, UCT, 2018-2020
Wiebke Toussaint (Supervisor: Deshen Moodley), MSc (with distinction), Evaluation of Clustering Techniques for Generating Household Energy Consumption Patterns in a Developing Country, UCT, 2016-2019
Gavin Rens, Claude Leon Postdoctoral Fellow, UCT, 2017-2018
Anesu Marufu, PhD, Robust and Cheating-Resilient Power Auctioning on Resource Constrained Smart Micro-grids, UCT, 2016-2018
Blessing Ojeme (Co-supervisor: Audrey Mbogho), PhD, Adoption of ICT4D frameworks to support screening for depression in Nigerian universities, UCT, 2016-2018
Mary-Jane Antia, MIT, (Multilingual) Knowledge Representation for Epistemological Access, UCT, 2016-2018
Leonard Botha (Co-supervisor: Rafael Peñaloza), MSc, The Bayesian Description Logic BALC, UCT, 2016-2018
Gavin Rens, Postdoctoral Fellow, CSIR–UKZN, 2015-2016
Nishal Morar (Supervisor: Aurona Gerber), MSc, Extending Classical Reasoning for Classification Queries over Ontologies, UKZN, 2014-2016
Giovanni Casini, Postdoctoral Fellow, CSIR–UP, 2014-2015
Nasubo Ongoma (Co-supervisor: Maria Keet, MSc (with distinction), Formalizing Temporal Attributes in Temporal Conceptual Data Models, UKZN, 2014-2015
Szymon Klarman, Postdoctoral Fellow, CSIR–UKZN, 2013-2015
Ivan Varzinczak, Postdoctoral Fellow, CSIR–UKZN, 2011-2015
Kody Moodley (Co-supervisor: Uli Sattler), PhD, Practical Reasoning for Defeasible Description Logics, UKZN, 2011-2015
Giovanni Casini, Postdoctoral Fellow, CSIR–UKZN, 2012-2014
Gavin Rens (Co-supervisor: Gerhard Lakemeyer, PhD, Formalisms for Agents Reasoning with Stochastic Actions and Perceptions, UKZN, 2010-2014
Ivan Varzinczak, Postdoctoral Fellow, CSIR, 2008-2011
Kevin Lee (Supervisor: Norman Foo), Inconsistency Management for Description Logics, PhD, UNSW, 2005-2012
Kody Moodley (Co-supervisor: Deshen Moodley), MSc (with distinction), Debugging and Repair of Description Logic Ontologies, UKZN, 2009-2011
Riku Nortjé (Supervisor: Arina Britz), MSc (with distinction, and recipient of the Council Platinum Award), Module Extraction for Inexpressive Description Logics, UNISA, 2009-2011
Gibson Chimamiwa (Supervisor: Aurona Gerber), MSc, Using Ontologies to Semantify a Web Information Portal, UNISA, 2008-2011
Ka-Shu Wong (Supervisor: Norman Foo), PhD, UNSW, 2005-2009
Anne Cregan (Supervisor: Norman Foo), PhD, Weaving the Semantic Web, UNSW, 2004-2008
Zhiqiang Zhuang (Supervisor: Maurice Pagnucco), MSc, Belief Change Under the Horn Fragment of Propositional Logic, UNSW, 2005-2006
Tanya van der Vyver, MSc (with distinction), Modal Logics, UNISA, 1998-1999
Honours Project Supervision
Evashna Pillay, Dhiresh Thakor Vallabh, Honours Project, SCADR2 – Scalable Defeasible Reasoning Version 2, UCT, 2022.
Jaron Cohen, Carl Combrinck, Honours Project, MBDR – Model-based Defeasible Reasoning, UCT, 2022.
Aidan Bailey, Joel Hamilton, Daniel Park, Honours Project, Scalable Defeasible Reasoning, UCT, 2021.
Lloyd Everett, Emilly Morris, Honours Project, Propositional Defeasible Explanation, UCT, 2021.
Clayton Baker, Claire Denny, Paul Freund, Honours Project, Cognitive Defeasible Reasoning, UCT, 2019.
Matthew Morris, Tala Ross, Honours Project, Defeasible Disjunctive Datalog, UCT, 2019.
Solomon Malesa, Pieter Cilliers Pretorius, Honours Project, EXPLOG – Explanations in Logic, UCT, 2019.
Luke Neville, Elijah Roussos, Honours Project, DBR, UCT, 2018.
Joshua Abraham, Thomas Pownall, Honours Project, Defeasible Datalog, UCT, 2018.
Guy Green, Andrew Howe-Ely, Propositional Typicality Reasoning (PTR), UCT, 2018.
Jonathon Clark, Jason Smythe, Honours Project, Blockchain, UCT, 2017.
Michael Harrison, Reid Swan, Honours Project, Preferential Reasoning for Ontologies, UCT, 2017.
Luke Kingsley Bell, William Lumala, Gavin Wiener, Honours Project, Mobile Onboard Vehicle Event Recorder, UCT, 2016.
Saleem Manjoo, Michael Pepper, Marcel Teixeira, Honours Project, Social Engineering Prevention Training Tool, UCT, 2016.