Welcome to our new Postdoc Jonathan Sterling

Today, Jonathan Sterling officially joins CPV as a postdoc. Jonathan graduated from U.C. Berkeley in 2013 with a B.A. in Linguistics, and spent a few years an industrial software engineer before taking up a Ph.D. in computer science at Carnegie Mellon University to work on programming languages and homotopy type theory. He employs semantic methods to design, verify, and implement languages and tools that enable both programmers and mathematicians to negotiate the different levels of abstraction that arise in their work. When not working, Jonathan enjoys cooking, Jazz piano, ancient languages, mathematics, and hiking. I also have fun programming in ML languages (like OCaml and Standard ML) as well as Racket. Welcome Jonathan, we look forward to working with you!