Organization

Alberto Speranzon

Anand Balakrishnan

Aniruddh G Puranic

Artur d'Avila Garcez

Chandler Squires

Chuchu Fan

Ekaterina Komendantskaya

Fabio Cozman

Ferdinando Fioretto

George J. Pappas

Jocelyn Qiaochu Chen

Kristian Kersting

Mayur Naik

Michael Benedikt

Miroslav Pajic

Osbert Bastani

Parasara Duggirala

Parisa Kordjamshidi

Robin Jia

Robin Manhaeve

Sandeep Neema

Somesh Jha

Sumit Kumar Jha

Susmit Jha

Wenchao Li

Yasser Shoukry

Zhe Zeng