Markus Bender

Until February 2018, I've been a 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.


Recent Teaching