# Jan Schwinghammer

From 2005 until 2011 I worked as a researcher (*wissenschaftlicher Mitarbeiter*) at the
Programming Systems Lab at
Saarland University in Saarbrücken.

###
Research

My research interests are in logic
and semantics, and their application to reasoning about (higher-order, typed) programming languages.
In my work I use operational methods as well as order-theoretic and metric approaches to describe the behaviour of programs, and I'm particularly interested in the interplay between these methods.
I'm also interested in the formalization of programming language meta-theory in logic and type theory.

Jan Schwinghammer,
Wed Sep 21 16:13:02 2011