Céline Hocquette
Machine Learning Research Engineer at Symbolica AI
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolCéline Hocquette is a machine learning research engineer focused on program synthesis, learning, and logical reasoning, with eight years of hands-on research experience and a PhD from Imperial College London. She co-developed the state-of-the-art ILP system Popper during a postdoc at Oxford and has nine publications in top AI venues, demonstrating a strong record of advancing automated code generation. Now at Symbolica AI in London, she bridges rigorous academic methods with practical engineering to push program synthesis toward real-world applications. Her background in mathematics and computer science, plus experience casting meta-interpretive learning as constraint satisfaction, gives her a unique ability to blend formal methods and statistical learning. Colleagues describe her as both methodical and creative, often finding compact logical solutions where others see only large model training tasks.
8 years of coding experience
7 years of employment as a software developer
Master's degree, Mathematics and Computer Science, Distinctions, Master's degree, Mathematics and Computer Science, Distinctions at Imperial College LondonAdvanced mathematics and physics, Advanced mathematics and physics at Lycée Sainte GenevièveUniversity of OxfordA-level, Mathematics, Distinctions, A-level, Mathematics, Distinctions at Lycée FénelonBachelor's degree, Mathematics, Bachelor's degree, Mathematics at Université Paris Sud (Paris XI)Master of Science - MSc, Master of Science - MSc at Supélec
French, English, Spanish
Github Skills (17)
symbolic-learning10
inductive-logic-programming10
cropper10
swi-prolog9
logic-programming8
jailbreak8
robotics8
prolog8
emulation7
utm6
natural-language-processing6
python6
ios6
artificial-intelligence6
qemu6
Programming languages (3)
Github contributions (5)
logic-and-learning-lab/ilp-experiments
Apr 2022 - Feb 2023
Experimentation framework for Popper
Contributions:32 commits, 9 PRs, 19 pushes in 10 months
experimentationpopper
celinehocquette/magicpopper
Aug 2022 - Oct 2022
C. Hocquette and A. Cropper, Learning programs with magic values.
Contributions:19 commits, 15 pushes, 4 comments in 1 month
cropperinductive-logic-programmingprogram-synthesis
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.