Andrew Cropper
Scholar

Andrew Cropper

Google Scholar ID: AtZc544AAAAJ
University of Oxford
inductive logic programmingprogram synthesislogical reasoningmachine learningsymbolic AI
Citations & Impact
All-time
Citations
1,200
 
H-index
18
 
i10-index
25
 
Publications
20
 
Co-authors
22
list available
Resume (English only)
Background
  • Associate Professor at the University of Helsinki
  • Principal Investigator at ELLIS Institute Finland
  • Research combines machine learning and logical reasoning
  • Focuses on Inductive Logic Programming (ILP), a form of program synthesis that learns logic programs from data
  • Developed the ILP system Popper, which leverages SAT/ASP/MaxSAT solvers
  • Actively seeking PhD students, postdocs, master's students, and interns