I am a Software Engineer with a strong background in Algorithms and Data Structures. I have experience in building and deploying Fullstack Web applications, setting up server infrastructures, and conducting research in the field of Algorithms. I am passionate about creating efficient and correct software and teaching others about it.
Founder, Bewerbungshelfer.net
Jan, 2024 - Present
Designed, developed, deployed, and advertised a Fullstack Web application for creating and optimizing job applications using Large Language Models.
Implemented user authentication from scratch
Set up bot detection via Cloudflare Turnstile
Integrated external APIs
Deployed on Hetzner Cloud
Advertised via Google Ads
Software Engineer in CTO Taskforce, Check24 Factory GmbH
Sep, 2023 - Jan, 20244 months
Built a new server infrastructure for the core product of Check24 (Car Insurances) under the guidance of the CTO.
Deployment of a new application on this infrastructure including CI/CD and dynamic creation of logical preview environments for feature branches.
Implementation of High Availability for core parts of the infrastructure, including the central MySQL database.
Researcher at the Chair of Algorithms and Complexity, TU Munich
Jan, 2021 - Jan, 20232 years
Designed, analyzed, and implemented a greedy algorithm for a fundamental scheduling problem, simplifying understanding and implementation. Reduced running time from O(n^3d^3) to O(nd).
Taught a Bachelor’s course on Probability Theory and a Master’s course on Advanced Algorithms
Working Student, BMW AG
Apr, 2018 - Mar, 20191 year
Programmed multiple Web applications (600 internal users) within a Web platform providing a unified API to diverse data endpoints of BMW IT systems.
Generic Tactic Tracing in Isabelle
- Present
Extended the Proof Assistant Isabelle (200,000 lines of Standard ML code) to trace and hierarchically display all invocations of rewrite rules in the simplification engine’s core
Rust
Axum
PostgreSQL
TypeScript
React.js
Docker
CI/CD
Kubernetes
MySQL
GraphQL
Python
Async Programming
TCP Sockets
Computer Science, Master's, Technical University of Munich
Jan, 2017 - Jan, 2020
Advanced Algorithms and Data Structures
Formal Methods
Algorithmic Game Theory
Computer Science, Erasmus, Chalmers University of Technology
Sep, 2017 - Feb, 2018
Programming Languages
Dependent Types (Agda)
Information Systems, BSc., Technical University of Munich
Jan, 2014 - Jan, 2017
General Education, Abitur, Ellentalgymnasien, Bietigheim-Bissingen
Sep, 2006 - Aug, 2014
Scholarship program TUM: Junge Akademie , Technical University of Munich
Awarded on: Jan 01, 2016
Greedy Energy-Efficient Scheduling , arXiv
Published on: Jul 01, 2023
Symphony orchestra