Email forwarding for @cs.stanford.edu is changing. Updates and details here.

 

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

  • 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