Portrait image of Marc Brockschmidt

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.

AMLD EPFL 2020 / Speakers

Christopher Bishop

Laboratory Director and Technical Fellow, Microsoft Research

Carmela Troncoso

Professor, EPFL

Lenka Zdeborová

Professor, EPFL

Edward Snowden

Whistleblower & Cybersecurity Expert

Max Tegmark

Professor, MIT

David Autor

Ford Professor of Economics, MIT

AMLD / Global partners