Programming Systems and Verification

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

Professor (Research) of Computer Science

Associate Professor of Computer Science and of Electrical Engineering

Assistant Professor of Computer Science

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

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