Michael D. Ernst

Registered user since Mon 7 Sep 2015

Name: Michael D. Ernst

Bio: Michael D. Ernst is a Professor in the Computer Science & Engineering department at the University of Washington. Ernst’s research aims to make software more reliable, more secure, and easier (and more fun!) to produce. His primary technical interests are in software engineering, programming languages, type theory, security, program analysis, bug prediction, testing, and verification. Ernst’s research combines strong theoretical foundations with realistic experimentation, with an eye to changing the way that software developers work.

Affiliation: University of Washington

Personal website: https://homes.cs.washington.edu/~mernst/

Contributions

PLDI 2016Committee Member in External Program Committee
Author of Fast Synthesis of Fast Collections within the Research Papers-track
Committee Member in Distinguished Paper Committee
Show activities from other conferences

PLDI 2016-profile
View general profile