About

I am a PhD student at the Department of Information Technology at Uppsala University. My advisor is Eva Darulova. My main fields of interest are programming languages and software verification. I previously studied Theoretical Computer Science at EPFL. My master thesis was on the embedding of inductive datatypes in first order set theory.