All speakers
AC

Adam Chlipala

Professor, MIT

Professor at MIT, creator of the Ur/Web programming language and author of Certified Programming with Dependent Types.