I am a junior research fellow at Hertford College, University of Oxford. I work on program induction: machine learning computer programs from data. I specifically work on inductive logic programming (ILP). I maintain Metagol, an ILP system.
I am looking for students/collaborators to work on program induction, so please contact me if interested.