I am a postdoctoral researcher at the university of Oxford. My research focuses on program synthesis and inductive logic programming, which is a form of machine learning based on logic.
I work in the Logic and Learning group under the supervision of Andrew Cropper. We work on the ILP system Popper.
I received my PhD from Imperial College London in 2021 under the direction of Stephen Muggleton.
Education
-
Ph.D. in Inductive Logic Programming, 2021
Imperial College London -
M.Sc in Computer Science, 2017
Imperial College London -
M.Sc in Engineering, 2017
CentraleSupélec -
24-27/07/24: I have been invited for a lecture at the summer school on symbolic and statistical methods for reasoning
and processing of formal expressions at Kutaisi International University.
-
29/05/2024: I have been invited to present at the RuleML webinar.
-
1/05/2024: Our paper Can humans teach machines to code? with Johannes Langer, Andrew Cropper, and Ute Schmid, is available on arxiv.
-
16/04/2024: Our papers Learning big logical rules by joining small rules and Learning logic programs by discovering higher-order abstractions have been accepted at IJCAI!