03/2021 -
I was awarded a five-year EPSRC Early Career Fellowship (EP/V040340/1) to work on The Automatic Computer Scientist.
I will recruit multiple postdocs in 2021, 2022, and 2023 to work on this project.
I am specifically looking for at least one expert in constraint satisfaction problems (SAT/ASP/SMT/CP).
If interested, please email me.
01/2021 -
My DPhil student, Rolf Morel, gave a virtual talk on Learning programs from failures to Torsten Schaub's KR group at Potsdam.
08/2020 -
Gave a virtual talk on Learning programs from failures to
to Josh Tennebaum's Computational Cognitive Science at MIT.
07/2020 -
Released a work-in-progress new introduction to ILP with Sebastijan Dumančić (KU Leuven).
Our goal is to have an accessible paper that introduces the field.
We would love to hear suggestions for improvements!