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


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

Chris Seaton


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

Manuel Serrano


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

Francesco Zappa Nardelli


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