Speakers

Felienne Hermans

Leiden University

What about "Running code and marathons"?

Ranjit Jhala

University of California, San Diego & Amazon Web Services

When not pondering the mysteries of algorithmic verification, I am most likely weighing the best options for my next meal, or wistfully thinking about when I will next get to see Godzilla on the big screen.

Hannes Payer

Google

I am on an obsessive quest to find the right parameters to pull the perfect espresso shot.

Chris Seaton

Shopify

I'm Squadron Leader of the Cheshire Yeomanry squadron of the Queen's Own Yeomanry, Cheshire's historic reserve light cavalry squadron.

Manuel Serrano

Inria

Compilation and optimization of functional languages, from Scheme to JavaScript.

Francesco Zappa Nardelli

Facebook

When not working from home, you can find find me cycling, climbing, or playing my guitar.