Faculty
gilbo

cs.washington.edu
Development of domain specific languages and high-performance tools for simulation, optimization, hardware design, and fabrication
CSE2 243
bodik

cs.washington.edu
Programming languages, computer architecture
CSE 576
luisceze

cs.washington.edu
Computer architecture, machine learning systems, programming languages, energy-efficient computing, molecular storage and computing.
CSE 538
mernst

cs.washington.edu
Software engineering, programming languages
CSE2 309
djg

cs.washington.edu
Allen School Vice Director and Professor of Computer Science & Engineering
CSE2 338
rjust

cs.washington.edu
Software testing and program analysis, in particular efficient mutation testing, partial test oracles, and security testing.
baris

cs.washington.edu
Arriving August 2023
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

uw.edu
Adjunct, Information School
HCI, software engineering, computing education
CSE2 201
ztatlock

cs.washington.edu
Compilers, 3D CAD, Verification, Synthesis
CSE 596
emina

cs.washington.edu
Software engineering, programming languages, formal methods
CSE 580
xi

cs.washington.edu
Computer systems, security, and programming languages
jrw12

cs.washington.edu
Computer science education, programming languages, formal verification, distributed systems
Affiliate Faculty
Gail Alverson
rgalverson

alverson.net
Cray, Inc.
Software Engineering, Parallel Systems and Programming Environments, Instructor Spring 2007
cbird

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

cs.washington.edu
PNNL
bradc

cray.com
Cray, Inc.
Compilers, language design, and algorithms, especially with respect to parallel computing
chambers

google.com
Google
programming languages, compilers
Manuvir Das
manuvir

microsoft.com
Microsoft
Programming languages and compilers
rdeline

microsoft.com
Microsoft Research
User interfaces, software engineering and type theory.
sumitg

microsoft.com
Microsoft Research
End-user programming, education, program synthesis, program analysis, formal methods
Simon Kahan
CSE346
simon.kahan

gmail.com
Pacific Northwest National Lab
larus

microsoft.com
Microsoft Research
Programming languages and compilers
qadeer

microsoft.com
Microsoft Research
Program verification, programming languages, concurrency, parallel computing
schulte

microsoft.com
Microsoft Research
Practical application of formal methods in software engineering
tzimmer

microsoft.com
Microsoft Research
Postdocs
mwillsey

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

cs.washington.edu
Darioush Jalali
darioush

cs.washington.edu
emullen

cs.washington.edu
CSE 518
cnandi

cs.washington.edu
pavpan

cs.washington.edu
John A Toman
jtoman

cs.washington.edu
William A Zorn
billzorn

cs.washington.edu
Staff
Suzanne Millstein
CSE202
smillst

cs.washington.edu
Undergraduate Researchers
Richard Jacob Bailey
rjacob

cs.washington.edu
Forrest Coward
fmc3

cs.washington.edu
Nathaniel Mote
nmote

cs.washington.edu
Tyler Rigsby
rigsbyt

cs.washington.edu
Rafael Vertido
rvertido

cs.washington.edu
Yuxuan Zhang
yuxuan

cs.washington.edu
Alumni
Ivan Beschastnikh
CSE352
ivan

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

cs.washington.edu
Professor, U. of Waterloo