Image of Céline

Céline Hocquette
Researcher

University of Oxford

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 under the supervision of 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
  • News

    • 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!