lucas.carr [at] helsinki.fi
I am a phd student (2026--) in the logic and learning group at uni of Helsinki, advised by Andrew Cropper. My research is on inductive logic programming, a type of machine learning that uses first-order logic as a substrate for representation/learning. I am interested in how to better do representation learning in ILP.
I did my masters at the university of Cape Town with Tommie Meyer and Sergei Obiedkov where I introduced KLM non-monotonic reasoning semantics into formal concept analysis.