Thomas Lemberger

Promotionsstudent mit Schwerpunkt Codeanalyse
Kapuzinerstraße 2c
94032 Passau
Deutschland
+49 171 7518174
lembergerth@gmail.com
thomaslemberger.com

Forschungsinteressen

Software- und Codeanalyse, Verarbeitung von Programmiersprachen, Benutzbarkeit und agile Prozesse. Mein Ziel ist die Entwicklung von Ansätzen zur schnelleren und sichereren Entwicklung von Software, für Einzelpersonen und Teams.

Akademische Bildung

seit 2018

Promotion

LMU München Im Bereich Softwareanalyse unter Prof. Dirk Beyer.
2017 – 2018

M.Sc. Informatik

LMU München Abschlussnote 1,06.
2016

Auslandssemester Indien

Indian Institute of Science Forschungsarbeit bei Prof. Aditya Kanade zum Thema “Automated Program Repair”.
2015 – 2017

M.Sc. Informatik

Universität Passau
2012 – 2015

B.Sc. Informatik

Universität Passau Abschluss mit Fakultätspreis und Auszeichnung (1,3).
2002 – 2011

Abitur

Augustinus Gymnasium Weiden

Praxiserfahrung

seit 2017

Wissenschaftlicher Mitarbeiter

Software and Computational Systems Lab, LMU München
2014 – 2017

Studentische Hilfskraft

Software and Computational Systems Lab, Universität Passau + LMU München Entwicklung für CPAchecker, ein Framework für statische Softwareanalyse.
2015

Werkstudent im Delivery Service

Siemens Industry Software GmbH Präsentation eines Value-based-sale-framework, Konfiguration von Simatic IT.
2014
und 2013

Praktikant in der SAP Softwareentwicklung

IGZ Logistics + IT GmbH Evaluation und Anwendung von Tools für automatisiertes Testen, Softwareimplementierungen im Bereich von SAP EWM.
2009 – 2011

Tutor

Augustinus Gymnasium Weiden, Cisco Networking Academy Unterrichten der Kurse “IT-Essentials” und “CCNA Discovery”.

Projekte

CPAchecker
(GitHub)

Flexibles Framework für Software-Verifikation von C und Java Programmen, das viele unterschiedliche Algorithmen und abstrakte Domänen unterstützt.

llvm-j
(GitHub)

Java-Library, die es erlaubt, LLVM Code zu parsen und zu verändern.

TBF
(GitHub)

Framework, dass es erlaubt, existierende Testfall-Generatoren zur Fehlersuche in C Programmen zu nutzen.

Test Format
(Gitlab)

XML-basiertes Format zur Speicherung von Testfällen. Beinhaltet auch einen Testfall-Executor, der Testfälle ausführt und ihre Eigenschaften misst.

Sprachkenntnisse

Deutsch
Muttersprache
Englisch
Verhandlungssicher (CAE und BEC Vantage-Zertifizierungen)
Latein
Großes Latinuum

Sonstiges

2019
Program-Chair Member für Test-Comp'19 (1st Intl. Competition on Software Testing)
2018
Teilnahme am NATO Advanced Study Institute – “Engineering Secure and Dependable Software Systems”
2018
Program-Chair Member für SV-COMP'18 (7th Intl. Competition on Software Verification)
2017
Best-Paper Award der 13th Haifa Verification Conference
2015
Fakultätspreis Informatik und Mathematik, Universität Passau

Freizeit und Ehrenamt

Freizeit
Wandern, Laufen, Snowboarden, Fotografie.
Ehrenamt
ehemaliger Vorstand von Aktion Augen Auf e.V. (Ausflüge mit minderjährigen Flüchtlingen, Spendenaktionen und andere gemeinnützige Aktionen). Betreuung von Schülern beim Informatik-Sommercamp Passau und der Kinderuni Ilmenau.