Work
- since 2023 Knowledge Transfer to Industry Research Associate at LMU Munich
I work towards the practical use of software verification in industry.
- 2022 - 2023 Team Lead in Java Enterprise Development Senior Software Engineer at QAware GmbH, Munich
- 2022 - 2017 Research and Teaching in Software Engineering Research Associate at LMU Munich
In 10 semesters I supervised 16 student theses and assisted in 19 teaching courses on different topics of formal verification, software engineering and testing (BSc and MSc level). I supervised 1-4 research student assistants at once on long-term projects (a total of 6 assistants). I received the Certificate of Academic Teaching of the Bavarian Universities (basic level), which consists of 45 hours of courses about teaching methods and diversity training.
- 2017 - 2014 Java and Python Software Development Student Assistant at University of Passau and LMU Munich
- 2015 Manufacturing Execution Systems (Simatic IT) Working Student in Delivery Service at Siemens Industry Software GmbH
- 2014, 2013 Extended Warehouse Management (SAP EWM) Working Student in SAP Software Development at IGZ Logistics + IT GmbH
Project work with SAP EWM/SCM and in-house software development.
- 2011 - 2009 Cisco Networking Tutor at Augustinus Gymnasium Weiden, Cisco Networking Academy
Education
- 2022 Towards Cooperative Software Verification with Test Generation and Formal Verification PhD at LMU Munich
Supervised by Prof. Dirk Beyer. 14 research publications. Best-paper award for "Software Verification: Testing vs. Model Checking".
- 2018 Abstraction Refinement for Model Checking: Program Slicing + CEGAR M.Sc. Computer Science at LMU Munich
- 2016 Automated Program Repair for Massive Open Online Courses Research internship at Indian Institute of Science, Bangalore
Research with Prof. Aditya Kanade on automated program repair.
- 2015 Efficient Symbolic Execution using CEGAR over Two Abstract Domains B.Sc. Computer Science at University of Passau
- 2011 Abitur at Augustinus Gymnasium Weiden
Received the Linux Server Professional Certification LPIC-1 in 2008.
Software Projects
- CPAchecker
Java Framework for software verification of C, Java and LLVM programs.
- CondTest
Python Framework for Conditional Testing with SV-COMP and Test-Comp tools
- llvm-j
Java Java library for parsing and modifying LLVM-IR code
- PRTest
C Automatic test-case generator for C programs, based on random testing
- pybib2web
Python Translator of BibTeX to HTML. Takes your bibliography files and turns them into categorized and indexed HTML pages
- TBF
Python Framework for integration of test-case generators for bug finding in C programs
- Test Format
XML and Python XML-based format for storing test suites. Used in Test-Comp.
- TestCov
C++ and Python 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