Program committee



Name Affiliation
Andreas Rossberg Dfinity Foundation
Catherine Gasnier Facebook
Chris Casinghino Draper Laboratory
Edwin Torok Citrix
Florian Angeletti INRIA
Greta Yorsh Jane Street
Ivan Gotovchits chair Carnegie Mellon University
Leo White Jane Street
Marcello Seri Bernoulli Institute for Mathematics
Oleg Kiselyov Tohoku University
Rudi Grinberg OCaml Labs
Sarah Zennou Airbus