Prof. Dr. Thomas Lemberger
Professor
Academic Designation: Informatik
Bürozeiten
By appointment (via e-mail).
core competencies
- Automated methods for software analysis, verification, and quality assurance
- Harness generation for software verification and testing
- Robustness guarantees for AI-assisted software development
- Evaluation of automated methods for software analysis
Vita
- 2026 Professor in Computer Science (Deggendorf Institute of Technology)
- 2023 Postdoctoral Researcher (LMU Munich) in a research project with Intel Security Research on automated verification of the Intel-TDX firmware (role: principal investigator)
- 2022 Team Lead in Java Enterprise Development (QAware GmbH, Munich)
- 2022 PhD in Computer Science (LMU Munich), topic Software Engineering
- 2018 MSc Computer Science (LMU Munich)
- 2016 Research Internship on Automated Program Repair (Indian Institute of Science, Bangalore)
- 2015 BSc Computer Science (University of Passau)