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 (19)
inductive-logic-programming9
logic9
swi-prolog8
querying8
utm8
foreign8
logic-programming8
jailbreak8
prolog8
qemu7
robotics7
emulation7
natural-language-processing6
python6
ios6
Programming languages (3)
Github contributions (5)
celinehocquette/magicpopper
Aug 2022 - Oct 2022
Contributions:19 commits, 15 pushes, 4 comments in 1 month
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
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.