Michael Ernst
Michael Ernst is professor of computer science and engineering at the University of Washington in Seattle, Washington. With an eye towards changing the way that software developers work, his research combines strong theoretical foundations with realistic experimentation and 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 is also the creator of numerous software packages, including the Checker Framework.