Thomas Lemberger
Postdoctoral Researcher at Ludwig-Maximilians-Universität München
Weismain, Bavaria, Germany
Summary
👤
Senior🎓
Top SchoolThomas Lemberger is a software engineering researcher and practitioner with 11 years of experience, currently serving as Vertretungsprofessur Software and Computational Systems at Ludwig-Maximilians-Universität München. His work focuses on automated techniques for reliable software engineering, blending rigorous research (PhD in Computer Software Engineering) with practical backend and verification contributions to notable open-source projects like sv-benchmarks and BenchExec. He has led teams building Jakarta EE microservices in industry and improved benchmarking reliability and verification task correctness through careful fixes for undefined behavior and better numeric formatting. As an educator he emphasizes long-lived principles, collaboration, and communication, and his background includes internships at IISc and industrial experience at Siemens, giving him a pragmatic cross-sector perspective.
11 years of coding experience
6 years of employment as a software developer
Internship, Computer Science, A+, Internship, Computer Science, A+ at Indian Institute of Science (IISc)Master of Science - MS, Computer Science, 1.0, Master of Science - MS, Computer Science, 1.0 at LMU MunichDoktor (Ph.D.), Computer Software Engineering, magna cum laude, Doktor (Ph.D.), Computer Software Engineering, magna cum laude at Ludwig-Maximilians-Universität MünchenBachelor of Science - BS, Computer Science, 1.3, Bachelor of Science - BS, Computer Science, 1.3 at University of Passau
German, English
Stackoverflow
96reputation
6kreached
6answers
0questions
Github Skills (23)
data-formats10
unit-testing10
debug10
benchmark10
python10
formatting10
verification10
benchmarking10
c-programming10
data-format10
verify10
test-automation10
testing9
memory-management9
data-structures8
Programming languages (8)
Github contributions (5)
sosy-lab/sv-benchmarks
Oct 2016 - Sep 2021
Collection of Verification Tasks
Role in this project:
Back-end Developer & Verification Engineer
Back-end Developer & Verification EngineerContributions:34 reviews, 119 commits, 44 PRs in 4 years 11 months
Contributions summary:Thomas's primary contributions involve fixing undefined behavior issues within the "sv-benchmarks" repository, which focuses on verification tasks. They addressed undefinedness arising from various sources, including empty structs, bitwise shifts, and uninitialized variables across different categories, such as ldv-races, array-examples, signedintegeroverflow-regression, and heaps. The user also corrected types, added missing definitions and introduced fixes to several categories. Their work ensured the tasks' correctness and reliability for verification purposes.
securitytlaverification
sosy-lab/benchexec
Jan 2016 - Jan 2021
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Role in this project:Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:23 reviews, 107 commits, 31 PRs in 5 years
Contributions summary:Thomas's commits primarily focused on enhancements to the table generator within the BenchExec framework. The contributions included improvements to the formatting of numerical values and handling of special cases such as NaN and Inf values. Additionally, the user added and refined unit tests for the table generator's functionality, specifically testing the format_value method, ensuring the correct presentation of data within the generated tables. These changes enhance the reliability and accuracy of BenchExec's benchmarking results.
cgroupsbenchmarkingpythonlinuxbenchmark-framework
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.