Thomas Lemberger

PhD student with focus on code analysis
(GitLab) (GitHub) (LinkedIn)
lembergerth@gmail.com
thomaslemberger.com

Research Interests

Software- and code analysis, processing of programming languages, usability and agile methods. My goal is the development of new approaches for fast and safe development of software, aimed at both individuals and teams.

Academic Education

since 2018

PhD Candidate

LMU Munich In software analysis, under Prof. Dirk Beyer.
2017 – 2018

M.Sc. Computer Science

LMU Munich Final grade 1.06.
2016

Research Internship India

Indian Institute of Science Research work under Prof. Aditya Kanade on automated program repair.
2015 – 2017

M.Sc. Computer Science

University of Passau
2012 – 2015

B.Sc. Computer Science

University of Passau Final grade 1.3, faculty price and with distinction.
2002 – 2011

Abitur

Augustinus Gymnasium Weiden

Work Experience

since 2017

Research Associate

LMU Munich
2014 – 2017

Student Assistant

University of Passau, LMU Munich
2015

Working Student in Delivery Service

Siemens Industry Software GmbH
2014,
2013

Working Student in SAP Software Development

IGZ Logistics + IT GmbH
2009 – 2011

Tutor

Augustinus Gymnasium Weiden, Cisco Networking Academy

Software Projects

CPAchecker
(GitHub)

Framework for software verification of C, Java and LLVM programs.

CondTest
(GitLab)

Framework for Conditional Testing with SV-COMP and Test-Comp tools

llvm-j
(GitHub)

Java library for parsing and modifying LLVM-IR code

PRTest
(GitLab)

Automatic test-case generator for C programs, based on random testing

TBF
(GitHub)

Framework for integration of test-case generators for bug finding in C programs

Test Format
(Gitlab)

XML-based format for storing test suites.
Used in Test-Comp.

TestCov
(Gitlab)

Tool for isolated execution and coverage measurement of test cases for C programs.
Used in Test-Comp.

Languages

German
mother tongue
English
business fluent (CAE and BEC Vantage certificates)
Latin
qualification in Latin

Other

2020
Artifact-Evaluation Committee Member of PLDI'20 (41st ACM SIGPLAN Conference on Programming Language Design and Implementation)
2020
Program-Committee Member of Test-Comp'20 (2nd International Competition on Software Testing)
2019
Judge at ACM Student Research Competition at ASE'19 (34th IEEE/ACM International Conference on Automated Software Engineering)
2019
Artifact-Evaluation Committee Member of SOSP'19 (27th ACM Symposium on Operating Systems Principles)
2019
Artifact-Evaluation Committee Member of ATVA'19 (17th International Symposium on Automated Technology for Verification and Analysis)
2019
Program-Committee Member of Test-Comp'19 (1st International Competition on Software Testing)
2018
Program-Committee Member of SV-COMP'18 (7th International Competition on Software Verification)
2017
Best-Paper Award at 13th Haifa Verification Conference
2016
PROMOS Stipend for student exchange, from DAAD and University of Passau
2015
Faculty price Computer Science and Mathematics, University of Passau

Hobbies and Social Responsibilities

Hobbies
Smart Home, Hiking, Running, Snowboarding, Photography
Social Responsibilities
Alumni Chair Member of Aktion Augen Auf e.V. (Excursions with underaged refugees, organisation of charity and information events). Tutor for pupils at Informatik-Sommercamp Passau and the Kinderuni Ilmenau (computer-science summer camp and university-for-children day).