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.
11 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 (29)
system-programming10
logic-programming10
inductive-logic-programming10
cpp10
logic10
programming-language9
functional-programming9
answer-set-programming8
swi-prolog8
querying8
rubiks-cube8
crossword7
prolog7
robotics7
foreign7
Programming languages (4)
Github contributions (5)
logic-and-learning-lab/aaai23-disco
Feb 2023 - Feb 2023
Contributions:4 commits, 2 pushes, 1 branch in 1 day
metagol/metagol
Dec 2015 - Sep 2021
Metagol - an inductive logic programming system
Contributions:9 releases, 187 commits, 4 PRs in 5 years 10 months
cpplogic-programmingfunctional-programmingsystem-programminginductive-logic-programming
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.