Faculty

CSE2 243
bodikcs.washington.edu
Programming languages, computer architecture
CSE 576
luiscezecs.washington.edu

Computer architecture, programming languages, parallel computing, operating systems, energy-efficient computing. Molecular storage and computing.

CSE2 240
akcheungcs.washington.edu
Data management, programming systems
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 330G
ajkouw.edu
Adjunct, iSchool

HCI, software engineering, computing education, end-user programming

CSE2 201
ztatlockcs.washington.edu
Formal verification, compilers, security.
CSE 596
eminacs.washington.edu
Software engineering, programming languages, formal methods
CSE 560
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
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

Postdocs

Yu Feng
yf2933cs.washington.edu

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.