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.

Show more

Recent Blogs

Nothing is better than the Optional type. Really. Nothing is better.

The blogosphere is full of claims that the Optional class solves the problem of null pointer exceptions. This is not true.

Receive the latest blog updates