Faculty

gilbocs.washington.edu
Development of domain specific languages and high-performance tools for simulation, optimization, hardware design, and fabrication
CSE2 243
bodikcs.washington.edu
Programming languages, computer architecture
CSE 576
luiscezecs.washington.edu

Computer architecture, machine learning systems, programming languages, energy-efficient computing, molecular storage and computing.

CSE 538
mernstcs.washington.edu

Software engineering, programming languages

CSE2 309
djgcs.washington.edu
Allen School Vice Director and Professor of Computer Science & Engineering

Programming languages

CSE2 338
rjustcs.washington.edu

Software testing and program analysis, in particular efficient mutation testing, partial test oracles, and security testing.

bariscs.washington.edu
Techniques for building efficient and trustworthy computing systems, with an emphasis on improving the efficiency of datacenter applications, providing systems support for heterogeneous computing platforms, analyzing and fixing failures, and enhancing the security of modern hardware
MGH 015E
ajkouw.edu
Adjunct, Information School

HCI, software engineering, computing education

rbscs.washington.edu
Allen School Associate Director for Diversity, Equity, Inclusion and Access and Professor of Computer Science & Engineering
Computing education research and learning technologies to help people explore their curiosities and create things to improve the world around themselves
CSE2 201
ztatlockcs.washington.edu
Compilers, CAD, Verification, Synthesis
mxwcs.washington.edu
Computer science education, programming languages, accessibility, societal impacts of computing
jrw12cs.washington.edu
Computer science education, programming languages, formal verification, distributed systems

Affiliate Faculty

Gail Alverson
rgalversonalverson.net
Cray, Inc.

Software Engineering, Parallel Systems and Programming Environments, Instructor Spring 2007

cbirdmicrosoft.com
Microsoft Research

Empirical software engineering, Open Source Software communities, social networks, communication
and collaboration in software engineering, software tools

Preston Briggs
CSE350
prestoncs.washington.edu
PNNL
bradccray.com
Cray, Inc.

Compilers, language design, and algorithms, especially with respect to parallel computing

chambersgoogle.com
Google

programming languages, compilers

Manuvir Das
manuvirmicrosoft.com
Microsoft

Programming languages and compilers

rdelinemicrosoft.com
Microsoft Research

User interfaces, software engineering and type theory.

sumitgmicrosoft.com
Microsoft Research

End-user programming, education, program synthesis, program analysis, formal methods

Simon Kahan
CSE346
simon.kahangmail.com
Pacific Northwest National Lab

parallel computing

larusmicrosoft.com
Microsoft Research

Programming languages and compilers

qadeermicrosoft.com
Microsoft Research

Program verification, programming languages, concurrency, parallel computing

schultemicrosoft.com
Microsoft Research

Practical application of formal methods in software engineering

tzimmermicrosoft.com
Microsoft Research

Postdocs

mwillseycs.washington.edu

Max Willsey earned his Ph.D. at the Allen School and as a postdoc works mostly in programming languages (PLSE group) with Zachary Tatlock but also collaborates with friends in molecular systems (MISL), and machine learning systems (SAMPL). He is currently working on egg, a toolkit for program optimization and synthesis powered by e-graphs and equality saturation.

Graduate Students (CSE)

Darioush Jalali
darioushcs.washington.edu
John A Toman
jtomancs.washington.edu
William A Zorn
billzorncs.washington.edu

Staff

Suzanne Millstein
CSE202
smillstcs.washington.edu

Undergraduate Researchers

Richard Jacob Bailey
rjacobcs.washington.edu
Forrest Coward
fmc3cs.washington.edu
Nathaniel Mote
nmotecs.washington.edu
Tyler Rigsby
rigsbytcs.washington.edu
Rafael Vertido
rvertidocs.washington.edu
Yuxuan Zhang
yuxuancs.washington.edu

Alumni

Ivan Beschastnikh
CSE352
ivancs.washington.edu

Systems, networks, peer-to-peer systems, system debugging, software engineering, computer-support collaborative work.

wmdietlcs.washington.edu
Professor, U. of Waterloo