Marc Brockschmidt is a Researcher in the All Data AI group at Microsoft Research Cambridge (UK). He obtained his PhD studying automated methods to prove program correctness. Surprisingly, that did work substantially less well than manually proving program correctness. He thus moved on to study how computers can learn the skills that make humans better at reasoning, programming and proving than machines.