Michael D. Ernst

Associate Professor, Computer Science & Engineering

In January 2009 Michael D. Ernst will return to the Pacific Northwest and join the faculty of the University of Washington’s Computer Science & Engineering department.

Ernst most recently held positions at MIT as part of their Electrical Engineering & Computer Science departments as well as being a member of MIT’s Computer Science & Artificial Intelligence Lab (CSAIL). Ernst’s research aims to make software more reliable, more secure, and easier (and more fun!) to produce. His technical interests are primarily in software engineering, including static and dynamic program analysis, testing, security, type theory, programming language design, and verification.

Ernst was previously a lecturer at Rice University and a researcher at Microsoft Research.

See Michael Ernst's faculty Web site.