last updated: 11.01.25

About

Personal Information
Name Lucas Carr
Occupation MSc Student
Location Cape Town, South Africa
Affiliation Artificial Intelligence Research Unit
University of Cape Town
Education BS. Computer Science & Philosophy
Hons. Computer Science
Details
Email crrluc003[at]myuct.ac.za
Github github.com/lucascarrr
Scholar scholar
Resume cv

I'm a masters student, currently under the supervision of Tommie Meyer and Sergei Obiedkov. My current work focuses on introducing non-monotonic logics to Formal Concept Analysis.
More generally I am interested in lattice-theory, logic programming, and (increasingly) program synthesis.

Research

Year Title Arxiv
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

Projects

Description Links
A web application to tell me when the next (university) shuttle will arrive. git repo
next-bus
A program which solves RushHour puzzles using answer set programming.