Michael Ernst
Last changed Fri, 2011-09-30 16:35
Graduate Students
debugging, web applications, dynamic analysis, dynamic optimization, runtime systems, profile-guided optimization, software engineering
Safe concurrency, type systems, separation logic, program verification
I am interested in Software Engineering and Programming Languages, especially techniques and tools that increase developer productivity and reduce developer mistakes.
software engineering, program verification, domain-specific languages, computational finance
Postdocs
I'm interested in making software development better. Currently looking at pluggable type systems, inference (automatic & human-guided), and security.
Undergraduate Researchers
Jenny Abrahamson
jabrah
cs.washington.edu
cs.washington.eduRichard Jacob Bailey
rjacob
cs.washington.edu
cs.washington.eduForrest Coward
fmc3
cs.washington.edu
cs.washington.eduAndrew Davies
andavies
cs.washington.edu
cs.washington.eduMark Davis
davis49
cs.washington.edu
cs.washington.eduStephanie Dietzel
sdietzel
cs.washington.edu
cs.washington.eduKellen Donohue
kellend
cs.washington.edu
cs.washington.eduDonovan Hunt
dhunt925
cs.washington.edu
cs.washington.eduAllen Liu
allenliu
cs.washington.edu
cs.washington.eduNathaniel Mote
nmote
cs.washington.edu
cs.washington.eduEric Spishak
espishak
cs.washington.edu
cs.washington.eduTimothy Vega
timjv
cs.washington.edu
cs.washington.edu
Contact
Office: CSE562
Email:
mernst
cs
Phone: (206) 221-0965
