Faculty
gilbo
![](/images/bw_ampersand.png)
cs.washington.edu
Development of domain specific languages and high-performance tools for simulation, optimization, hardware design, and fabrication
CSE2 243
bodik
![](/images/bw_ampersand.png)
cs.washington.edu
Programming languages, computer architecture
CSE 576
luisceze
![](/images/bw_ampersand.png)
cs.washington.edu
Computer architecture, machine learning systems, programming languages, energy-efficient computing, molecular storage and computing.
CSE 538
mernst
![](/images/bw_ampersand.png)
cs.washington.edu
Software engineering, programming languages
CSE2 309
djg
![](/images/bw_ampersand.png)
cs.washington.edu
Allen School Vice Director and Professor of Computer Science & Engineering
CSE2 338
rjust
![](/images/bw_ampersand.png)
cs.washington.edu
Software testing and program analysis, in particular efficient mutation testing, partial test oracles, and security testing.
baris
![](/images/bw_ampersand.png)
cs.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
ajko
![](/images/bw_ampersand.png)
uw.edu
Adjunct, Information School
HCI, software engineering, computing education
rbs
![](/images/bw_ampersand.png)
cs.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
ztatlock
![](/images/bw_ampersand.png)
cs.washington.edu
Compilers, CAD, Verification, Synthesis
mxw
![](/images/bw_ampersand.png)
cs.washington.edu
Computer science education, programming languages, accessibility, societal impacts of computing
jrw12
![](/images/bw_ampersand.png)
cs.washington.edu
Computer science education, programming languages, formal verification, distributed systems
Affiliate Faculty
Gail Alverson
rgalverson
![](/images/bw_ampersand.png)
alverson.net
Cray, Inc.
Software Engineering, Parallel Systems and Programming Environments, Instructor Spring 2007
cbird
![](/images/bw_ampersand.png)
microsoft.com
Microsoft Research
Empirical software engineering, Open Source Software communities, social networks, communication
and collaboration in software engineering, software tools
Preston Briggs
CSE350
preston
![](/images/bw_ampersand.png)
cs.washington.edu
PNNL
bradc
![](/images/bw_ampersand.png)
cray.com
Cray, Inc.
Compilers, language design, and algorithms, especially with respect to parallel computing
chambers
![](/images/bw_ampersand.png)
google.com
Google
programming languages, compilers
Manuvir Das
manuvir
![](/images/bw_ampersand.png)
microsoft.com
Microsoft
Programming languages and compilers
rdeline
![](/images/bw_ampersand.png)
microsoft.com
Microsoft Research
User interfaces, software engineering and type theory.
sumitg
![](/images/bw_ampersand.png)
microsoft.com
Microsoft Research
End-user programming, education, program synthesis, program analysis, formal methods
Simon Kahan
CSE346
simon.kahan
![](/images/bw_ampersand.png)
gmail.com
Pacific Northwest National Lab
larus
![](/images/bw_ampersand.png)
microsoft.com
Microsoft Research
Programming languages and compilers
qadeer
![](/images/bw_ampersand.png)
microsoft.com
Microsoft Research
Program verification, programming languages, concurrency, parallel computing
schulte
![](/images/bw_ampersand.png)
microsoft.com
Microsoft Research
Practical application of formal methods in software engineering
tzimmer
![](/images/bw_ampersand.png)
microsoft.com
Microsoft Research
Postdocs
mwillsey
![](/images/bw_ampersand.png)
cs.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)
bornholt
![](/images/bw_ampersand.png)
cs.washington.edu
Darioush Jalali
darioush
![](/images/bw_ampersand.png)
cs.washington.edu
emullen
![](/images/bw_ampersand.png)
cs.washington.edu
CSE 518
cnandi
![](/images/bw_ampersand.png)
cs.washington.edu
pavpan
![](/images/bw_ampersand.png)
cs.washington.edu
John A Toman
jtoman
![](/images/bw_ampersand.png)
cs.washington.edu
William A Zorn
billzorn
![](/images/bw_ampersand.png)
cs.washington.edu
Staff
Suzanne Millstein
CSE202
smillst
![](/images/bw_ampersand.png)
cs.washington.edu
Undergraduate Researchers
Richard Jacob Bailey
rjacob
![](/images/bw_ampersand.png)
cs.washington.edu
Forrest Coward
fmc3
![](/images/bw_ampersand.png)
cs.washington.edu
Nathaniel Mote
nmote
![](/images/bw_ampersand.png)
cs.washington.edu
Tyler Rigsby
rigsbyt
![](/images/bw_ampersand.png)
cs.washington.edu
Rafael Vertido
rvertido
![](/images/bw_ampersand.png)
cs.washington.edu
Yuxuan Zhang
yuxuan
![](/images/bw_ampersand.png)
cs.washington.edu
Alumni
Ivan Beschastnikh
CSE352
ivan
![](/images/bw_ampersand.png)
cs.washington.edu
Systems, networks, peer-to-peer systems, system debugging, software engineering, computer-support collaborative work.
wmdietl
![](/images/bw_ampersand.png)
cs.washington.edu
Professor, U. of Waterloo