Prof. Dr. Thomas Lemberger

Bürozeiten

Nach Vereinbarung via Mail.

Kernkompetenzen

• Automatische Methoden zur Analyse, Verifikation, und Qualitätssicherung von Software
• Harness-Generierung für Software-Verifikation und -Testen
• Robustheitsgarantien für KI-Nutzung in der Softwareentwicklung
• Evaluation von automatischen Methoden zur Softwareanalyse

Vita

• 2026 Professur für Informatik (TH Deggendorf)
• 2023 Wissenschaftlicher Mitarbeiter (LMU München) im Forschungsprojekt mit Intel Security Research zu automatischer Verifikation der Intel-TDX Firmware (Rolle: Principal Investigator)
• 2022 Team Lead im Java Enterprise Development (QAware GmbH, München)
• 2022 Promotion Informatik (LMU München) in der Softwaretechnik
• 2018 MSc Informatik (LMU München)
• 2016 Forschungspraktikum zum Thema Automatische Programm-Reparatur (Indian Institute of Science, Bangalore)
• 2015 BSc Informatik (Universität Passau)