Program Committee PriSC

Amal Ahmed

Northeastern University, USA

United States

Andrew W. Appel

Princeton

Fraser Brown

Stanford University, USA

Delphine Demange

Univ Rennes, Inria, CNRS, IRISA

France

Nick Fitzgerald

Marco Gaboardi

Boston University

United States

Marco Guarnieri

IMDEA Software Institute

Spain

Chung-Kil Hur

Seoul National University, South Korea

Xavier Leroy

Collège de France

France

Aastha Mehta

MPI-SWS, Germany and University of British Columbia, Canada

Santosh Nagarakatte

Rutgers University, USA

Zoe Paraskevopoulou

Princeton University

United States

Jennifer Paykin

Galois, Inc.

United States

Jonathan Protzenko

Microsoft Research, Redmond

United States

Tamara Rezk

Inria, France

Andreas Rossberg

Dfinity Stiftung

Germany

Ilya Sergey

Yale-NUS College and National University of Singapore

Singapore

Shweta Shinde

ETH Zurich

Switzerland

Deian Stefan

University of California at San Diego, USA

Conrad Watt

University of Cambridge, UK