Logic and Learning lab
The Logic and Learning (LOL) lab works on logic and machine learning, i.e.
Inductive Logic Programming
- We will recruit multiple postdocs in 2021, 2022, and 2023 to work on the EPSRC-funded project
The Automatic Computer Scientist
. The aim is to accelerate algorithm discovery using ILP. If interested, please see the