Program Committee Haskell

Christiaan Baaij

QBayLogic B.V.

Jose Calderon

Galois, Inc.

United States

Benjamin Delaware

Purdue University

Richard A. Eisenberg Chair

Bryn Mawr College, USA

United States

Jennifer Hackett

University of Nottingham, UK

United Kingdom

Kazutaka Matsuda

Tohoku University, Japan

Japan

Trevor L. McDonell

Utrecht University

Netherlands

Ivan Perez

NIA / NASA Formal Methods

Nadia Polikarpova

University of California, San Diego

United States

Norman Ramsey

Christine Rizkallah

UNSW Sydney

Australia

Eric Seidel

Bloomberg LP

United States

Alejandro Serrano

Utrecht University, Netherlands

Netherlands

John Wiegley

Thomas Winant

KU Leuven, Belgium

Ningning Xie

The University of Hong Kong

China

Ki Yung Ahn

Hannam University

South Korea