Lucas Carr

Info

scholar

dblp

resume

email:

lucas@airu.org.za

I am a masters student in the Artificial Intelligence Research Unit (AIRU) at the University of Cape Town. I am being supervised by Tommie Meyer (UCT) and Sergei Obiedkov (TU Dresden). The focus of my dissertation is to formalise a system for non-monotonic reasoning in formal concept analysis.

I am (tentatively) on the lookout for a PhD position, where I'm interested in working in inductive logic programming and program synthesis.

education:

MSc Computer Science University of Cape Town Current
BSc (hons) Computer Science University of Cape Town 2023
BS Computer Science & Philosophy University of Cape Town 2022

research

Year Title Arxiv
2025 Rational Inference in Formal Concept Analysis 2504.16938
2024 Non-monotonic Extensions to Formal Concept Analysis via Object Preferences 2410.04184
Deep Learning Classification for Encrypted Botnet Traffic: Optimising Model Performance and Resource Utilisation UCT