Michael Ernst

Last changed Fri, 2011-09-30 16:35

Graduate Students

burgcs.washington.edu

debugging, web applications, dynamic analysis, dynamic optimization, runtime systems, profile-guided optimization, software engineering

csgordoncs.washington.edu

Safe concurrency, type systems, separation logic, program verification

kivanccs.washington.edu

I am interested in Software Engineering and Programming Languages, especially techniques and tools that increase developer productivity and reduce developer mistakes.

twscs.washington.edu

software engineering, program verification, domain-specific languages, computational finance

szhangcs.washington.edu

Postdocs

wmdietlcs.washington.edu

I'm interested in making software development better. Currently looking at pluggable type systems, inference (automatic & human-guided), and security.

Undergraduate Researchers

Jenny Abrahamson
jabrahcs.washington.edu
Richard Jacob Bailey
rjacobcs.washington.edu
Forrest Coward
fmc3cs.washington.edu
Andrew Davies
andaviescs.washington.edu
Mark Davis
davis49cs.washington.edu
Stephanie Dietzel
sdietzelcs.washington.edu
Kellen Donohue
kellendcs.washington.edu
Donovan Hunt
dhunt925cs.washington.edu
Allen Liu
allenliucs.washington.edu
Nathaniel Mote
nmotecs.washington.edu
Eric Spishak
espishakcs.washington.edu
Timothy Vega
timjvcs.washington.edu