Programming Languages & Software Engineering

Faculty

Ras Bodik
bodikatcs.washington.edu  
Programming languages, computer architecture
Luis Ceze
luiscezeatcs.washington.edu

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

Alvin Cheung
akcheungatcs.washington.edu  
Data management, programming systems
mernstatcs.washington.edu

Software engineering, programming languages

Dan Grossman
djgatcs.washington.edu

Programming languages

Prof. Zachary Tatlock
ztatlockatcs.washington.edu
Formal verification, compilers, security.
Emina Torlak
eminaatcs.washington.edu  
Software engineering, programming languages, formal methods
Xi Wang
xiatcs.washington.edu
Computer systems, security, and programming languages

Associated Faculty

Luis Ceze
luiscezeatcs.washington.edu

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

Adjunct Faculty

Information School
ajkouw.edu

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

Graduate Students

bornholtcs.washington.edu
Darioush Jalali
darioushcs.washington.edu
emullencs.washington.edu
cnandics.washington.edu
pavpancs.washington.edu
John A Toman
jtomancs.washington.edu
weitzkoncs.washington.edu
jrw12cs.washington.edu
Programming languages, applications of PL techniques to systems
William A Zorn
billzorncs.washington.edu

Affiliate Faculty

Gail Alverson
Cray, Inc.
rgalversonalverson.net

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

Microsoft Research
cbirdmicrosoft.com

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

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

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

Google
chambersgoogle.com

programming languages, compilers

Manuvir Das
Microsoft
manuvirmicrosoft.com

Programming languages and compilers

Microsoft Research
rdelinemicrosoft.com

User interfaces, software engineering and type theory.

Microsoft Research
sumitgmicrosoft.com

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

Simon Kahan
Pacific Northwest National Lab
simon.kahangmail.com

parallel computing

Microsoft Research
larusmicrosoft.com

Programming languages and compilers

Microsoft Research
qadeermicrosoft.com

Program verification, programming languages, concurrency, parallel computing

Microsoft Research
schultemicrosoft.com

Practical application of formal methods in software engineering

Microsoft Research
tzimmermicrosoft.com

Staff

  • Dan Brown
  • Jonathan Burke
  • David McArthur
  • Suzanne Millstein
  • Mark Roberts