Andrew Cropper
Associate Professor
Helsinki, Finland
Summary
👤
Senior🎓
Top SchoolAndrew Cropper is an Associate Professor and principal investigator based in Helsinki with 12 years of experience at the intersection of logic and machine learning. He led the EPSRC-funded "Automatic Computer Scientist" project at Oxford, developing logic-based ML methods that discover novel algorithms and teach machines to write programs. His background spans academic research fellowships and industry research engineering roles where he designed distributed graph and machine learning algorithms. Trained at Imperial College and Oxford, he brings deep theoretical rigor paired with practical systems experience—from monitoring production servers to advancing program synthesis research. Colleagues might not guess he deliberately avoids LinkedIn as a contact channel, preferring direct email correspondence.
12 years of coding experience
4 years of employment as a software developer
MSc, Computer Science, MSc, Computer Science at University of OxfordDoctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at Imperial College LondonBachelor of Science (BSc), Computer Science, First class honors, Bachelor of Science (BSc), Computer Science, First class honors at The Nottingham Trent University
French, English
Github Skills (23)
symbolic-learning10
inductive-logic-programming10
answer-set-programming8
swi-prolog8
declarative-programming8
logic-programming8
prolog8
rubiks-cube8
crossword7
robotics7
ranking7
science7
react7
logic7
computer-science6
Programming languages (4)
Github contributions (5)
logic-and-learning-lab/Popper
Oct 2022 - Jan 2023
An inductive logic programming system
Contributions:14 releases, 20 commits, 25 PRs in 3 months
inductive-logic-programmingprogram-synthesissymbolic-learning
andrewcropper/andrewcropper.github.io
Jun 2014 - Dec 2022
Contributions:345 commits, 404 pushes in 8 years 6 months
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.