I am a fourth year PhD student in Computer Science advised by Professor David Walker. My research interests revolve around programming languages and verification, and currently we are working on applying techniques from these fields (language design, static analysis tools etc.) to help network operators keep calm. You can read more about some of the stuff we are working on here.

Previously I worked with Professor Andrew Appel on the design of an operational semantics for concurrent languages suitable for end-to-end verification. We demonstrated the power of these semantics, by applying them to CompCert's C language in order to prove:

• the soundness of VST's concurrent separation logic
• the correctness of CompCert with respect to a concurrent C program
• and the absence of data-races in the resulting assembly program

You can find my CV here.