I am a researcher at the university of Oxford. My research focuses on inductive logic programming (ILP), which is a form of program synthesis based on logic.
I work in the Logic and Learning group led by Andrew Cropper. We develop the ILP system Popper.
I obtained my PhD from Imperial College London in 2021 under the supervision 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 -
26-27/11/24: I have been invited to present at the Program Synthesis workshop at CNRS LaBRI in Bordeaux.
-
28/10/24: I will present our poster Learning from raw data with low-level symbols alone, with Andrew Cropper, at the Beyond the symbols vs signals debate of the Royal Society, London.
-
22/10/24: I will present our paper Learning logic programs by finding minimal unsatisfiable subprograms at ECAI. Join me in the Reasoning and Learning 2 session to hear about this work!
-
07/08/24: I will present our papers Learning big logical rules by joining small rules and Learning logic programs by discovering higher-order abstractions at IJCAI. Join me in the KRR session to hear about these works!
-
08/07/24: I have been invited to present at the French National Research Institute for Agriculture, Food and the Environment (INRAE), on the topic An introduction of machine learning for livestock farming.
- 04/07/24: Our paper Learning logic programs by finding minimal unsatisfiable subprograms, with Andrew Cropper, has been accepted at ECAI.
-
24-27/06/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.
-
13/06/24: My blog post Learning programs with numerical reasoning has been published at AIhub.org.
-
29/05/2024: I have been invited to present at the RuleML webinar.
-
01/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, with Andreas Niskanen, Rolf Morel, Matti Järvisalo, and Andrew Cropper, and Learning logic programs by discovering higher-order abstractions, with Sebastijan Dumančić and Andrew Cropper, have been accepted at IJCAI!