He has been honored as a ``Java Rock Star’’ for a crowd-pleasing JavaOne presentation. He is the specification lead for the Type Annotations language extension (``JSR 308’‘) that will be part of Java 8 - the first non-Sun-employee to be the specification lead for a Java language change. This JSR was awarded ``most innovative JSR’’ by Sun. 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 and related areas, including programming languages, type theory, security, program analysis, bug prediction, testing, and verification. Ernst’s research combines strong theoretical foundations... Read More.