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, Thu Oct 27 15:27:17 2016