I have recently defended my PhD thesis at the computer science program of the School of Engineering and Science at the Jacobs (International) University Bremen.
My supervisor was Michael Kohlhase, and his research group is Knowledge Adaptation and Reasoning for Content. My further thesis advisors were Till Mossakowski, Herbert Jaeger, and Frank Pfenning.
I am now employed as a post-doctoral researcher in the same research group. I am concerned with abstract logic. In particular I am using dependent type theory, institutions, and knowledge management technologies to represent logics and logic translations.