For appointments, general administrative matters, controlling matters please write to Claudia Roßmann and Pamela Möller via the sekretariat mail box:
| E-Mail: | sekretariat@stg.tu-… |
| Phone: | +49 6151 16-22364 |
| Fax: | +49 6151 16-22361 |
| Address: | A2, Hochschulstraße 10, 64289 Darmstadt, Germany |
If you are a student and interested in a thesis, please follow the instructions given for theses on the Theses page. If you do not have a single person fitting to your research interest, you can write your thesis request to jobs@stg.tu-…, and we will redirect the email to the most fitting person.
Professor | |||
![]() | Prof. Dr. Mira Mezini Chair of Software Technology |
mezini@informatik.tu-... S2|02 A212 | |
Administrative, Project and Technical Staff | |||
![]() | Esther Berghoff, Dipl.-Wirt.-Ing. ATHENE Project Manager |
esther.berghoff@tu-... S2|02 B207 | |
![]() | Claudia Roßmann Administrative Staff |
claudia.rossmann@tu-... S2|02 A210 | |
![]() | Boris Scheet System Administrator |
boris.scheet@tu-... S2|02 B208 | |
![]() | Pamela Möller Administrative Staff |
pamela.moeller@tu-... S2|02 A209 | |
Guest Researchers | |||
![]() | Dr. Isabella Graßl Visiting Professor: Gender-MINT for Computer Science |
isabella.grassl@tu-... S2|02 B206 | |
Postdoctoral Researchers | |||
![]() | Dr. Ragnar Mogk Decentralized and Local-First Programming |
ragnar.mogk@tu-... S2|02 A206 | |
![]() | Dr. Tobias Reinhard Neurosymbolic Reasoning & Program Verification |
tobias.reinhard1@tu-... S2|02 B220 | |
![]() | Dr. Amir Molzam Sharifloo Artificial Intelligence for Software Engineering |
amir.molzam@tu-... S2|02 A216 | |
![]() | Dr. David Richter Functional Programming & Constructive Proofs |
david.richter@tu-... S2|02 B209 | |
Doctoral Researchers | |||
![]() | Patrick Müller Doctoral Researcher |
patrick.mueller@tu-... S2|02 A216 | |
![]() | Jannis Brugger Doctoral Researcher |
jannis.brugger@tu-... S4|14 3.1.19 | |
![]() | Julian Haas Doctoral Researcher |
haas@cs.tu-... S2|02 B220 | |
![]() | Abhinav Anand Doctoral Researcher |
abhinav.anand@tu-... S2|02 A222 | |
![]() | Daniel Maninger Doctoral Researcher |
daniel.maninger@tu-... S2|02 B209 | |
![]() | Timon Böhler Doctoral Researcher |
timon.boehler@tu-... S2|02 B209 | |
![]() | Mert Tiftikci Doctoral Researcher |
mert.tiftikci@tu-... S2|02 A222 | |
![]() | Shweta Verma Doctoral Researcher |
shweta.verma@tu-... S2|02 A222 | |
![]() | Simon Daniel Doctoral Researcher |
simon.daniel@tu-... S2|02 B209 | |
![]() | Christian Kuessner Doctoral Researcher |
christian.kuessner@tu-... S2|02 B220 | |
![]() | Fabian Meerkötter Doctoral Researcher |
fmeer@cs.tu-... S2|02 B220 | |
![]() | Benedict Smit Doctoral Researcher |
benedict.smit@tu-... S2|02 B220 | |
Professor
Administrative, Project and Technical Staff
Esther Berghoff, Dipl.-Wirt.-Ing.
ATHENE Project Manager
Claudia Roßmann
Administrative Staff
Boris Scheet
System Administrator
Pamela Möller
Administrative Staff
Guest Researchers
Postdoctoral Researchers
Dr. Ragnar Mogk
Decentralized and Local-First Programming
Dr. Tobias Reinhard
Neurosymbolic Reasoning & Program Verification
Dr. Amir Molzam Sharifloo
Artificial Intelligence for Software Engineering
Dr. David Richter
Functional Programming & Constructive Proofs
Doctoral Researchers
Patrick Müller
Doctoral Researcher
Jannis Brugger
Doctoral Researcher
Julian Haas
Doctoral Researcher
Abhinav Anand
Doctoral Researcher
Daniel Maninger
Doctoral Researcher
Timon Böhler
Doctoral Researcher
Mert Tiftikci
Doctoral Researcher
Shweta Verma
Doctoral Researcher
Simon Daniel
Doctoral Researcher
Christian Kuessner
Doctoral Researcher
Fabian Meerkötter
Doctoral Researcher
Benedict Smit
Doctoral Researcher
Alumni
Researcher
- Sven Keidel, Postdoc (2020 - 2026)
- Leonid Glanz, Postdoc (2020 - 2025), PhD Student (2014 - 2020)
- Tobias Roth, PhD Student (2020 - 2025)
- Julius Näumann, PhD Student (2023 - 2025)
- Dominik Helm, Postdoc (2023 - 2024), PhD Student (2018 - 2023)
- Matthias Krebs, PhD Student (2019 - 2024)
- Anna-Katharina Wickert, PhD Student (2017 - 2024)
- Florian Breitfelder, PhD Student (2021 - 2023)
- Gagandeep Singh, PhD Student (2021 - 2023)
- Mirko Köhler, PhD Student (2017 - 2023)
- Aditya Oak, PhD Student (2019 - 2023)
- Krishna Narasimhan, Postdoc (2020 - 2023)
- Lars Baumgärtner, Postdoc (2019 - 2023)
- Nafise Eskandani, PhD Student (2019 - 2022)
- Matthias Eichholz, PhD Student (2015 - 2022)
- Joscha Drechsler, Postdoc (2019 - 2021), PhD Student (2013 - 2019)
- Daniel Sokolowski, PhD Student (2019 - 2021)
- Pascal Weisenburger, PhD Student (2016 - 2021)
- Michael Reif, PhD Student (2014 - 2021) → CQSE
- Florian Kübler, PhD Student (2018 - 2020)
- Guido Salvaneschi, Assis. Prof “Reactive Software Systems” group (2011 - 2020) → Prof @ Uni SG, Switzerland
- Simon Schönwälder, PhD Student (2020 - 2020)
- Felix Weirich, PhD Student (2019 - 2019)
- Edlira Kuci, PhD Student (2019)
- Ervina Cergani, PhD Student (2013 - 2019)
- Sylvia Grewe, PhD Student (2014 - 2019)
- Oliver Bracevac, Postdoc (2019 - 2020), PhD Student (2019)
- Andi Bejleri, Postdoc (~ 2016 - 2019)
- Michael Eichberg, Postdoc (2010 - 2019), Interim Prof “Software Engineering” (2009 - 2010), PhD Student (2002 - 2008) → Prof @ DHWB Mannheim, Germany
- Sebastian Proksch, PhD Student (2011 - 2017) → Assis. Prof @ TU Delft
- Manuel Weiel, PhD Student (2014 - 2018)
- Sven Amann, PhD Student (2013 - 2018) → CQSE
- Nada Amin, Postdoc (2017 - 2017) → Assis. Prof @ Harvard SEAS, US
- Ben Hermann, Postdoc (2016 - 2017), PhD Student (2012 - 2016) → Prof @ Stuttgart, Germany
- Sarah Nadi, Postdoc (2014 - 2016) → Assoc. Prof @ NYUAD, Abu Dhabi
- Johannes Lerch, PhD Student (2011 - 2016)
- Eric Bodden, Prof “Secure Software Engineering” (in cooperation with Frauenhofer SIT) (2011 - 2015), Postdoc (2009 - 2011) → Prof @ Uni Paderborn, Germany
- Sebastian Erdweg, Postdoc (2013 - 2015) → Prof @ KIT, Germany
- Jurgen Van Ham, PhD Student (2015)
- Ingo Maier, Postdoc (2014)
- Mohamed Aly, PhD Student (2014)
- Ralf Mitschke, PhD Student (2014)
- Benjamin Schmeling, PhD Student (2013)
- Andreas Sewe, PhD Student (2007 - 2012) → CQSE
- Martin Monperrus, Postdoc (2008 - 2011) → Prof @ KTH Stockholm, Sweden
- Marcel Bruch, PhD Student (2006 - 2011)
- Tom Dinkelaker, PhD Student (2005 - 2011)
- Slim Kallel, PhD Student (2011) → Assoc. Prof @ Uni of Sfax, Tunisia
- Lucas Satabin, PhD Student (2010 - 2011)
- Michael Haupt, Interim Prof “Formal Methods in Systems Engineering” (2010 - 2010), PhD Student (2001 - 2006)
- Vaidas Gasiunas, PhD Student (2010)
- Christopher Bockisch, Postdoc (2008 - 2009), PhD Student (2003 - 2008) → Prof @ Uni Marburg, Germany
- Sven Kloppenburg, PhD Student (2009)
- Vasian Cepa, PhD Student (2004 - 2008)
- Thorsten Schäfer, PhD Student (2004 - 2008)
- Klaus Ostermann, Assistant Prof (2004 - 2007), PhD Student (2001 - 2003) → Prof @ Uni Tübingen, Germany
- Anis Charfi, PhD Student (2007) → Assoc. Prof @ CMU, US
Administrative, Technical and Project Staff
- Gudrun Harris, 2000 - 2022
- Annette Miller, 2019 - 2020

