Faculty

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

Programming languages

CSE2 338
rjustcs.washington.edu

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

MGH 015E
ajkouw.edu
Adjunct, iSchool

HCI, software engineering, computing education

CSE2 201
ztatlockcs.washington.edu
Compilers, 3D CAD, Verification, Synthesis
CSE 596
eminacs.washington.edu
Software engineering, programming languages, formal methods
CSE 580
xics.washington.edu
Computer systems, security, and programming languages

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
jrw12cs.washington.edu
Programming languages, applications of PL techniques to systems
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