Erik Ernst is a member of the Dart language team at Google, maintaining the language specification. He has been an associate professor at Aarhus University. He has published research on virtual classes, establishing that they can be statically safe. He introduced family polymorphism, which is foundational for path dependent types, and he contributed to the introduction of generics in Java.