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.
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!