Lucas Carr

Cape Town, South Africa

email: crrluc003 [at] myuct.ac.za

github · resume · scholar

I am a masters student at the university of Cape Town, studying Computational Logic at the AIRU. Currently, I am being supervised by Tommie Meyer and Sergei Obiedkov.

My bachelors was a double major in Philosophy and Computer Science. My present work is involved with extending the attribute logic underlying formal concept analysis to express klm-style non-monotonic reasoning. More generally I am interested in lattice-theory, logic programming, and (increasingly) program synthesis.

Research

2024

Non-monotonic Extensions to Formal Concept Analysis via Object Preferences

Deep Learning Classification for Encrypted Botnet Traffic: Optimising Model Performance and Resource Utilisation