Martin Bromberger

Doctoral researcher for
Arithmetic Reasoning

 

Max-Planck-Institut für Informatik
Campus E1 4
66123 Saarbrücken

+49 681 9325-2922, fax -2999

mbromber@mpi-inf.mpg.de

 

Physical address: building E1 5, room 634

Personal Information

Research Interests

  • (Linear) Arithmetic Decision Procedures
  • Theorem Proving
  • Combination of Theories
  • Parsing

Academic Activities

Teaching

Recent Positions

Education

  • July 2014 - present:
    PhD 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 - March 2016:
    Bachelor and Master student in Computer Science at the Universität des Saarlandes, Saarbrücken, Germany
    Oct. 2010: BSc in Computer Science; thesis title: Adapting the Simplex Algorithm for Superposition Modulo Linear Arithmetic (supervisor: Prof. Dr. Christoph Weidenbach)
    Mar. 2016: MSc in Computer Science; thesis title: Analysis and Implementation of LIA Solvers: CutSAT and BBSAT (supervisor: Prof. Dr. Christoph Weidenbach)

Software Projects

SPASS

Wrote the parser for SPASS version 3.9

SPASS-IQ

Main developer of the linear arithmetic theory solver SPASS-IQ

SPASS-SATT

Main developer of the CDCL(LA) solver SPASS-SATT

Awards:

SMT-COMP 2018 (13th International Satisfiability Modulo Theories Competition)
  • First Place in the main track in the QF_LIA division
  • Best Newcomer Award
SMT-COMP 2019 (14th International Satisfiability Modulo Theories Competition)
  • First Place in the single query track in the QF_LRA (Seq.) division

Publications