Lucas Carr

I'm a masters student at the University of Cape Town under the supervision of Tommie Meyer and Sergei Obiedkov. I am also a member of AIRU in South Africa.

Cape Town, South Africa

email: crrluc003 [@] myuct.ac.za

github · resume · scholar

Lucas Carr

About

I have a bachelors with a double major in Philosophy and Computer Science, and am currently pursuing my masters in computational logic at the University of Cape Town's computer science dept. I recently (April–July 2024) spent four months in Dresden with Sebastian Rudolph's Computational Logic group, which is where I began my current research: developing expressivity for KLM style non-monotonic reasoning in the attribute logic of formal concept analysis.

Research

2024