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

Publications