I am an independent researcher and consultant on programming-language design and implementation, currently working with the Kotlin language team. Before going independent, I was a professor at Cornell University, and I worked with the Kotlin team in its early days to integrate my research on mixed-site variance and gradual types into what became platform types. Beyond Kotlin, I have contributed to the designs of Java, Ceylon, Julia, Scala, and WebAssembly.