Markus Bender

Research assistant at the Universität Koblenz-Landau, Campus Koblenz in the research group Formale Methoden und Theoretische Informatik (Formal Methods and Theoretical Computer Science) lead by Viorica Sofronie-Stokkermans. My research interests include SMT, Combination of Theories, Automated Reasoning, Automated Theorem Proving, Verification.

Contact

Recent Teaching