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 2021 / Speakers

Simone Lionetti

Senior Research Scientist, Hochschule Luzern

Patrick Schwab

Director Artificial Intelligence and Machine Learning, GSK

Lisa Herzog

PhD Student

Limor Shmerling Magazanik

Managing Director, Israel Tech Policy Institute

Kostas Sechidis

Data Scientist, Novartis

Khaled El Emam

CEO, Replica Analytics Ltd.

AMLD / Global partners