I am a PhD student at the Department of Information Technology at Uppsala University. My advisor is Eva Darulova. I am broadly interested in programming languages, software verification, and software engineering. At present, my research focuses on the verification of numerical code. I previously studied Theoretical Computer Science at EPFL. My master thesis was on the embedding of inductive datatypes in first order set theory.