Name | Affiliation |
---|---|
Ronghui Gu | Columbia University |
Eddy Westbrook | Galois |
Anton A. Trunov | IMDEA Software Institute |
Enrico Tassi | Inria |
Gordon Stewart | Ohio University |
Robbert Krebbers chair | TU Delft |
William Mansky | University of Illinois at Chicago |
Steve Zdancewic | University of Pennsylvania |
Talia Ringer | University of Washington |
Olivier Danvy | Yale-NUS College |
Ilya Sergey chair | Yale-NUS College and SoC, NUS |