Faculty
cs.washington.edu
cs.washington.edu
cs.washington.eduComputer architecture, machine learning systems, programming languages, energy-efficient computing, molecular storage and computing.
cs.washington.eduSoftware engineering, programming languages
cs.washington.eduProgramming languages
cs.washington.eduSoftware testing and program analysis, in particular efficient mutation testing, partial test oracles, and security testing.
cs.washington.edu
uw.eduHCI, software engineering, computing education
cs.washington.edu
cs.washington.edu
cs.washington.edu
cs.washington.eduAffiliate Faculty
alverson.netSoftware Engineering, Parallel Systems and Programming Environments, Instructor Spring 2007
microsoft.comEmpirical software engineering, Open Source Software communities, social networks, communication
and collaboration in software engineering, software tools
cray.comCompilers, language design, and algorithms, especially with respect to parallel computing
google.comprogramming languages, compilers
microsoft.comProgramming languages and compilers
microsoft.comUser interfaces, software engineering and type theory.
microsoft.comEnd-user programming, education, program synthesis, program analysis, formal methods
gmail.comparallel computing
microsoft.comProgramming languages and compilers
microsoft.comProgram verification, programming languages, concurrency, parallel computing
microsoft.comPractical application of formal methods in software engineering
Postdocs
cs.washington.eduMax 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)
cs.washington.eduStaff
Undergraduate Researchers
Alumni
cs.washington.eduSystems, networks, peer-to-peer systems, system debugging, software engineering, computer-support collaborative work.
cs.washington.edu