I am a PhD student at the Department of Information Technology at Uppsala University. My advisor is Eva Darulova. My current research focuses on formal verification of numerical code, with an emphasis on scaling verification techniques to real-world programs and making them accessible to non-experts. More broadly, I am interested in programming languages, software verification, and software engineering. I previously studied Theoretical Computer Science at EPFL. My master thesis was on the embedding of inductive datatypes in first order set theory.

Are you a student at Uppsala University interested in a bachelor's or master's thesis? Take a look here!