Jonas Kaiser

Saarland University Computer Science
Jonas Kaiser

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 and a M.Sc. from Saarland University in 2013.

Jonas Kaiser, Sat Jul 27 13:53:12 2013