Thomas Lemberger

Dr. Thomas Lemberger is a researcher at the Software and Computational Systems Lab in the Department of Computer Science at Ludwig-Maximilians-Universität München (LMU Munich). He holds a PhD and is actively involved in software verification research, particularly with the CPAchecker framework. His work spans multiple aspects of formal methods and software testing.

Dr. Lemberger's research focuses on software verification, code analysis, software testing, fault localization, and program repair. His work explores cooperative approaches across test generation and formal verification, aiming to combine the strengths of different verification techniques. He has made significant contributions to distributed verification, witness-based validation, and fault localization techniques. His research often addresses practical challenges in scaling verification to real-world software systems.

His publication record shows a strong focus on decomposing verification tasks into manageable components, improving verification efficiency through parallelization, and creating practical tools that bridge the gap between theoretical verification techniques and practical software development workflows. Recent work emphasizes cooperative verification approaches that combine multiple techniques to overcome individual limitations.

Dr. Lemberger has been nominated for best paper at SPIN 2024 for his work on fault localization with verification witnesses, highlighting the recognition of his contributions to the field.

He actively mentors numerous BSc and MSc students on various verification-related topics, covering areas from microservice verification to automatic program repair. His research is supported by German Research Foundation (DFG) projects including DFG-CONVEY, DFG-COOP, and DFG-IDEFIX.

Dr. Lemberger is a key contributor to the CPAchecker verification framework and has developed tools like CoVeriTeam GUI that enable no-code composition of verification workflows. His work bridges theoretical verification research with practical tool development for real-world software engineering challenges.