Michael Ernst is a professor in the computer science and engineering department at the University of Washington. He’s also the specification lead for JSR 308, which makes Java’s annotation system more expressive. Michael’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 and related areas, including programming languages, type theory, security, program analysis, bug prediction, testing, and verification. His research combines strong theoretical foundations with realistic experimentation with an eye to changing the way that software developers work. Previously, he was a tenured professor at MIT and a researcher at Microsoft Research.
©2019, O'Reilly Media, Inc. • (800) 889-8969 or (707) 827-7019 • Monday-Friday 7:30am-5pm PT • All trademarks and registered trademarks appearing on oreilly.com are the property of their respective owners. • email@example.com