Topics for Bachelor or Master Theses

Open Topics

We have exciting research topics available for bachelor and master projects. They typically combine a novel program analysis idea with a practical implementation that applies to real-world software. We expect interested students to be good programmers and to be able to come up with fresh ideas for challenging research problems. Thesis topics are primarily for students currently enrolled at TU Darmstadt. Please contact Michael Pradel to inquire about available topics.

Past Theses

In the past, we had the chance to supervise the following student projects:

At TU Darmstadt

  • Prabhjot Singh (master thesis), finished January 2018
  • Saeed Ehteshamifar (master thesis), finished July 2017
  • Daniel Lehmann (master thesis), finished June 2017
  • Satia Herfert, 2016 and 2017. See paper at ASE'17
  • Sebastian Ruhleder (master thesis), finished March 2017
  • Patrick Mell (bachelor thesis), finished October 2016
  • Dileep R. K. Murthy (master thesis), finished July 2016
  • Pooja Dixit (master thesis), finished April 2016. See paper at ICSE'18
  • Markus Ermuth (master thesis), finished September 2015. See paper at ISSTA'16
  • Thomas Glaser (bachelor thesis), finished September 2015. See paper at ISSTA'17
  • Ankit Choudhary (master thesis), finished July 2015. See paper at ICSE'17

At UC Berkeley

At ETH Zurich

  • Michael Fäs (master thesis), finished April 2013
  • Markus Huggler (master thesis), finished March 2013. See paper at ISSTA'14
  • Pascal Zimmermann (bachelor thesis), finished September 2012
  • Christine Zeller (bachelor thesis), finished August 2012
  • Severin Heiniger (bachelor thesis), finished July 2011. See paper at ISSTA'12
  • Claudio Corrodi (bachelor thesis), finished July 2011
  • Jérémie Bresson (master thesis), finished April 2010
  • Philipp Bichsel (master thesis), finished March 2010. See paper at ICSM'10
  • Sebastian Grössl (diploma thesis), finished August 2009