Contact
Instead of contacting Prof. Dr. Mira Mezini directly, if you are a student and interested in a thesis, consider contacting one of the postdocs.
For appointments, general administrative matters, controlling matters please write to the sekretariat mail box:
E-Mail: sekretariat@st.informatik.tu-… Phone: +49 6151 16-22364 Fax: +49 6151 16-22361 Address: A2, Hochschulstraße 10, 64289 Darmstadt, Germany For controlling matters regarding the Athene project, please contact Esther Berghoff, directly.
Professors | |||
 | Prof. Dr. Mira Mezini Chair of Software Technology |
mezini@informatik.tu-... S2|02 A212 | since 2000 |
 | Dr. Isabella Graßl Visiting Professor: Diversity, Teamwork, Society, Creativity, and Design in Computing |
isabella.grassl@tu-... S2|02 B206 | since 2025 |
Administrative, Project and Technical Staff | |||
 | Esther Berghoff ATHENE Project Manager |
esther.berghoff@tu-... S2|02 B207 | since 2020 |
 | Claudia Roßmann Administrative Staff |
claudia.rossmann@tu-... S2|02 A210 | since 2020 |
 | Boris Scheet System Administrator |
boris.scheet@tu-... S2|02 B208 | since 2024 |
 | Pamela Möller Administrative Staff |
pamela.moeller@tu-... S2|02 A209 | since 2025 |
Postdoctoral Researchers | |||
 | Dr. Sven Keidel Static Analysis & Abstract Interpretation |
sven.keidel@tu-... S2|02 B218 | since 2020 |
 | Dr. Ragnar Mogk Decentralized and Local-First Programming |
ragnar.mogk@tu-... S2|02 A206 | since 2021 |
 | Dr. Tobias Reinhard Neurosymbolic Reasoning & Program Verification |
tobias.reinhard1@tu-... S2|02 B220 | since 2024 |
 | Dr. Amir Molzam Sharifloo Artificial Intelligence for Software Engineering |
amir.molzam@tu-... S2|02 A216 | since 2024 |
 | Dr. David Richter Functional Programming & Constructive Proofs |
david.richter@tu-... S2|02 B209 | since 2025 |
Doctoral Researchers | |||
 | Patrick Müller |
patrick.mueller@tu-... S2|02 A216 | since 2018 |
 | Jannis Brugger |
jannis.brugger@tu-... S4|14 3.1.19 | since 2021 |
 | Julian Haas |
haas@cs.tu-... S2|02 B220 | since 2021 |
 | Abhinav Anand |
abhinav.anand@tu-... S2|02 A222 | since 2022 |
 | Daniel Maninger |
daniel.maninger@tu-... S2|02 B209 | since 2022 |
 | Timon Böhler |
timon.boehler@tu-... S2|02 B209 | since 2023 |
 | Mert Tiftikci |
mert.tiftikci@tu-... S2|02 A222 | since 2023 |
 | Shweta Verma |
shweta.verma@tu-... S2|02 A222 | since 2023 |
 | Simon Daniel |
simon.daniel@tu-... S2|02 B209 | since 2024 |
 | Christian Kuessner |
christian.kuessner@tu-... S2|02 B220 | since 2024 |
 | Cody Capybara |
cody@tu-... S2|02 B209 | since 2025 |
 | Fabian Meerkötter |
fabian.meerkoetter1@tu-... S2|02 A222 | since 2025 |
 | Benedict Smit |
benedict.smit@tu-... S2|02 B220 | since 2025 |
Professors
Prof. Dr. Mira Mezini
Chair of Software Technology
since 2000
Dr. Isabella Graßl
Visiting Professor: Diversity, Teamwork, Society, Creativity, and Design in Computing
since 2025
Administrative, Project and Technical Staff
Esther Berghoff
ATHENE Project Manager
since 2020
Claudia Roßmann
Administrative Staff
since 2020
Boris Scheet
System Administrator
since 2024
Pamela Möller
Administrative Staff
since 2025
Postdoctoral Researchers
Dr. Sven Keidel
Static Analysis & Abstract Interpretation
since 2020
Dr. Ragnar Mogk
Decentralized and Local-First Programming
since 2021
Dr. Tobias Reinhard
Neurosymbolic Reasoning & Program Verification
since 2024
Dr. Amir Molzam Sharifloo
Artificial Intelligence for Software Engineering
since 2024
Dr. David Richter
Functional Programming & Constructive Proofs
since 2025
Doctoral Researchers
Patrick Müller
since 2018
Jannis Brugger
since 2021
Julian Haas
since 2021
Abhinav Anand
since 2022
Daniel Maninger
since 2022
Timon Böhler
since 2023
Mert Tiftikci
since 2023
Shweta Verma
since 2023
Simon Daniel
since 2024
Christian Kuessner
since 2024
Cody Capybara
since 2025
Fabian Meerkötter
since 2025
Benedict Smit
since 2025
Alumni
Assistant, Associate, Visiting and Interim Professors
- Guido Salvaneschi, 2011 - 2020, Assistant Professor “Reactive Software Systems” group
- Eric Bodden, 2011 - 2015, Professor “Secure Software Engineering” (in cooperation with Frauenhofer SIT)
- Michael Haupt, 2010 - 2010, Interim Professor “Formal Methods in Systems Engineering”
- Michael Eichberg, 2009 - 2010, Interim Professor “Software Engineering”
- Klaus Ostermann, 2004 - 2007, Assistant Professor
Postdoctoral Researchers
- Leonid Glanz, 2020 - 2025
- Dominik Helm, 2023 - 2024
- Joscha Drechsler, 2019 - 2021
- Oliver Bracevac, 2019 - 2020
- Krishna Narasimhan, 2020 - 2023
- Lars Baumgärtner, 2019 - 2023
- Andi Bejleri, maybe 2016 - 2019
- Michael Eichberg, 2010 - 2019
- Nada Amin, 2017 - 2017
- Ben Hermann, 2016 - 2017
- Sarah Nadi, 2014 - 2016
- Sebastian Erdweg, 2013 - 2015
- Ingo Maier, 2014
- Eric Bodden, 2009 - 2011
- Martin Monperrus, 2008 - 2011
- Christopher Bockisch, 2008 - 2009
Doctoral Researchers
- Tobias Roth, 2020 - 2025
- Julius Näumann, 2023 - 2025
- David Richter, 2019 - 2025
- Matthias Krebs, 2019 - 2024
- Anna-Katharina Wickert, 2017 - 2024
- Florian Breitfelder, 2021 - 2023
- Gagandeep Singh, 2021 - 2023
- Dominik Helm, 2018 - 2023
- Mirko Köhler, 2017 - 2023
- Aditya Oak, 2023
- Nafise Eskandani, 2019 - 2022
- Matthias Eichholz, 2015 - 2022
- Daniel Sokolowski, 2019 - 2021
- Simon Schönwälder, 2020 - 2020
- Pascal Weisenburger, 2016 - 2021
- Ragnar Mogk, 2014 - 2021
- Michael Reif, 2014 - 2021
- Florian Kübler, 2018 - 2020
- Leonid Glanz, 2014 - 2020
- Felix Weirich, 2019 - 2019
- Edlira Kuci, 2019
- Ervina Cergani, 2013 - 2019
- Sylvia Grewe, 2014 - 2019
- Joscha Drechsler, 2013 - 2019
- Oliver Bracevac, 2019
- Manuel Weiel, 2014 - 2018
- Sven Amann, 2013 - 2018
- Sebastian Proksch, 2011 - 2017
- Ben Hermann, 2012 - 2016
- Johannes Lerch, 2011 - 2016
- Jurgen Van Ham, 2015
- Mohamed Aly, 2014
- Ralf Mitschke, 2014
- Benjamin Schmeling, 2013
- Andreas Sewe, 2007 - 2012
- Marcel Bruch, 2006 - 2011
- Tom Dinkelaker, 2005 - 2011
- Slim Kallel, 2011
- Lucas Satabin, 2010 - 2011
- Vaidas Gasiunas, 2010
- Christoph Bockisch, 2003 - 2008
- Sven Kloppenburg, 2009
- Vasian Cepa, 2004 - 2008
- Thorsten Schäfer, 2004 - 2008
- Michael Eichberg, 2002 - 2008
- Anis Charfi, 2007
- Michael Haupt, 2001 - 2006
- Klaus Ostermann, 2001 - 2003
Administrative, Technical and Project Staff
- Gudrun Harris, 2000 - 2022
- Annette Miller, 2019 - 2020
- Anja Tatjana Zopf
- Benjamin Dietrich, 2013
Apprentices
- Matthias Bahr, 2017 - 2024
- Shadi Rifai