Responsible for most of the text defining the "Identifier" part of "Uniform Resource Identifier" in RFC 3986. Helped define Java NIO as part of JSR 51. Creator of the Scala generic programming library shapeless. Cofounder of Typelevel. Created the open source Scala IDE for Eclipse project.