I am a phd student (2026--) in the logic and learning group at uni of Helsinki, advised by Andrew Cropper. My research is in inductive logic programming, a kind of machine learning that uses first-order logic as a substrate for representation/learning. Particularly, I am interested in how to do predicate invention.

I did my masters with Tommie Meyer and Sergei Obiedkov where I introduced KLM non-monotonic reasoning semantics into formal concept analysis.