Programming Systems and Verification

Alex Aiken

Alcatel-Lucent Professor of Communications and Networking, Professor of Particle Physics and Astrophysics, and of Photon Science

Clark Barrett

Professor (Research) of Computer Science

Dawson Engler

Associate Professor of Computer Science and of Electrical Engineering

Fredrik Kjolstad

Assistant Professor of Computer Science

Subhasish Mitra

William E. Ayer Professor of Electrical Engineering and Professor of Computer Science

Kunle Olukotun

Cadence Design Systems Professor, Professor of Electrical Engineering and of Computer Science