Logic and Learning

The Logic and Learning (LOL) group works on logic and machine learning, i.e. inductive logic programming (ILP).

Postdocs. We are hiring multiple postdocs for 1-3 years. We are looking for experts either in ILP or constraint solving (SAT/SMT/ASP/CP). If interested, email us.

PhD/DPhil students. If interested in studying for a PhD/DPhil, email us. Information on the Oxford DPhil program for computer science is available here.

Group members

Rolf Morel

PhD/DPhil student

Maria Alexa Tudose

BSc student

Previous members