Hi! I am a DPhil (PhD) student in the Department of Computer Science at the University of Oxford where I study programming languages. I am interested in programming language theory, applied logic, and the parts of mathematics not involving numbers, and on the more applied side, compilers and compiler implementation, runtimes, operating systems, and embedded systems.
My current research centers around operational semantics, and in how we can use these semantics to describe the costs of programs. Particularly, I am working on how we can use semantic descriptions of cost to better profile, optimize, and prove the correctness of parallel, concurrent, and distributed programs.
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're interested, here is my CV