Researcher (wissenschaftlicher Mitarbeiter) at the Programming Systems Lab, Saarland University.
My research interests include completeness, decidability and automation of reasoning in higher-order logic and its fragments, in particular in modal and description logics.