- Fast Cube Tests for LIA Constraint Solving, Martin Bromberger, and Christoph Weidenbach. In N. Olivetti and A. Tiwari (eds.) 8th International Joint Conference on Automated Reasoning (IJCAR 2016), Springer, 2016.
- Linear Integer Arithmetic Revisited, Martin Bromberger, Thomas Sturm, and Christoph Weidenbach. In A. P. Felty and A. Middeldorp (eds.) The 25th International Conference on Automated Deduction (CADE-25), volume 9195 of LNCS, pages 623–637. Springer, 2015.
- (Linear) Arithmetic Decision Procedures
- Theorem Proving
- Combination of Theories
- Tutor for Programmierung 1 WS 2010 by Prof. Dr. Gert Smolka
- October 2011 - July 2014:
Hiwi for the Research Group 1: Automation of Logic at the Max-Planck-Institut für Informatik
- July 2014 - present:
Ph. D. student in Computer Science at the Universität des Saarlandes, Saarbrücken, Germany and the Max-Planck-Institut für Informatik
- October 2012 - July 2014:
Student in the preparatory phase of the Graduate School of Computer Science at Universität des Saarlandes, Saarbrücken, Germany
- October 2009 - October 2012:
Bachelor Studies in Computer Science at the Universität des Saarlandes, Saarbrücken, Germany
Title of Bachelor's Thesis: Adapting the Simplex Algorithm for Superposition Modulo Linear Arithmetic (supervisor: Prof. Dr. Christoph Weidenbach)