Marc Brockschmidt

Senior Principal Research Manager

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

Edward Snowden

Whistleblower & Cybersecurity Expert

Max Tegmark

Professor, MIT

Danny Lange

VP of AI and Machine Learning, Unity Technologies

David Autor

Ford Professor of Economics, MIT

Marinka Zitnik

Harvard University

Shahram Ebadollahi

Global Head Data Science and AI, Novartis

AMLD / Global partners