Skip to content

Latest commit

 

History

History
91 lines (46 loc) · 1.93 KB

speakers.md

File metadata and controls

91 lines (46 loc) · 1.93 KB
layout
default

Speakers

Addy Pross, Ben Gurion University

Addy Pross

Speaking on

Aleksander Madry Massachusetts Institute of Technology

Aleksander Madry

Speaking on

Alex Miller, University of Otago

Alex Miller

Speaking on ...

Armando Solar-Lezama, Massachusetts Institute of Technology

Armando Solar-Lezama

Speaking on

Armin Biere

Speaking on ...

Aws Albarghouthi, University of Wisconsin

Aws Albarghouthi

Speaking on ...

Clark Barrett, Stanford University

Clark Barrett

Speaking on ...

Cliff Burgees, McMaster University

Cliff Burgees

Speaking on ...

Durk Kingman

Speaking on

Federico Felici

Speaking on

Christian Szegedy

Speaking on

Mark Schroeder University of Southern California

Mark Schroeder

Speaking on

Vijay Ganesh University of Waterloo

Vijay Ganesh

Speaking on

Zico Colter Carnegie Mellon University

Zico Colter

Speaking on