Hi there! I'm a software engineer at Novi, where I work on the Move programming language. Before joining Novi, I got my DPhil (PhD) from the University of Oxford as a Clarendon Scholar where I wrote my dissertation on cost semantics for heterogeneous parallel functional languages. My academic interests in general center around programming languages, and I'm particularly interested in semantics, type systems, and compilers.
Before Novi and Oxford, I was previously an undergraduate student at Indiana University Bloomington where I studied computer science and mathematics, and specialized in programming languages on a Wells Scholarship. While I was at Indiana, I was a member of the programming languages group ( "PL Wonks" ) where I worked with Ryan Newton.
In case you are interested you can find a list of my publications on my DBLP and Google Scholar pages.