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.