Hi, I am a member of the Graduate School of Computer Science and a PhD student at the Programming Systems Lab here in Saarbrücken. My work focuses on the construction of Models for Type Theories and at the moment I am looking at Luo's ECC and set-theoretic models.
I am mainly interested in Computational Logic, Type Systems, Functional Programming and Programming Language Semantics.
I received my BA (Hons) in Computer Science from the University of Cambridge in 2010.