Martin Bromberger wins the EAPLS Best Dissertation Award 2019

by Andreas Wortmann, Dec. 7, 2020

Martin Bromberger (Saarland University) wins the EAPLS Best Dissertation Award 2019 for his dissertation on "Decision Procedures for Linear Arithmetic.".

With great pleasure, the European Association on Programming Languages and Systems to announce the outcome of the EAPLS Best Dissertation Award 2019.

This award is given to the PhD student who has made the most original and influential contribution to the area of Programming Languages and Systems, and has graduated in 2019 at a European academic institute. The purpose of the award is to draw attention to excellent work, to help the career of the student in question, and to promote the research field as a whole.

The winner of this edition of the EAPLS Best Dissertation Award is

Martin Bromberger (Saarland University, Saarbr├╝cken, Germany)

for his dissertation on

Decision Procedures for Linear Arithmetic

supervised by Prof. Dr. Christoph Weidenbach. The winner was selected by a committee of international experts. Details on the procedure can be found at http://eapls.org/pages/phd_award/. The candidate theses were judged on originality, significance, and quality of writing.

The jury concluded that Martins's dissertation is an outstanding piece of work; it received the best marks amidst some very strong contenders. A summary of the jury's findings:

  • The problems addressed in this thesis are highly relevant and extremely challenging.
  • The excellent results obtained in this thesis advance the state of the art of SMT solving and theorem proving in an outstanding way.
  • The thesis presents breakthrough-like achievements in a well-established and researched field with an immediate impact and advancement of the field.
  • The presented procedures offer significant improvements over the state-of-the-art that has been adopted in professional SMT provers.

We offer Martin our heartfelt congratulations on his achievement. We are confident that it will be a sign of a long and distinguished scientific career.