I work on combining logic and machine learning (inductive logic programming) at the University of Oxford. I run the logic and learning (LoL) group and the Automatic Computer Scientist (AutoCS) project. I develop the ILP system Popper.
I am recruiting multiple 1-3 year postdocs to work on the AutoCS project. I am looking for at least one expert in constraint satisfaction (SAT/SMT/ASP/CSP). If interested, please email me.
18.02.23 We gave a tutorial on inductive logic programming at AAAI23. The slides are here.
18.02.23 I gave a new faculty talk at AAAI23. The slides are here.
18.02.23 We presented our MLJ paper learning programs by learning from failures in the journal track at AAAI23. The slides are here.
18.02.23 We presented two papers at AAAI: relational program synthesis with numerical reasoning and learning logic programs by discovering where not to search (slides).