Stanford Engineering
Computer Science
Engineering

Programming Systems and Verification

  • Alex Aiken

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

  • Dawson Engler

    Associate Professor of Computer Science and of Electrical Engineering

  • 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