Hi,
my name is Felix and I like to build Software! I'm especially interested in how things work under the hood, and I also play the guitar and piano from time to time.

I'm currently working for Areus as a software developer.

• Duration: Since February 2024
• Maintaining, refactoring and modernizing C++ projects
• Deduplicating code across multiple projects

• Duration: October 2021 to February 2022, and April 2022 to May 2022
• Development of a Java application, which generates C-Code to test the performance of various Model Checkers
• Refactoring existing Java Code to improve readability and maintainability
• Planning, designing and implementing new requirements
• Documenting program modules and interfaces
• Creating tests to automatically detect code regressions
• The application was used in the paper "Configurable Benchmarks for C Model Checkers", which was published in the "NASA Formal Methods" Conference

• Development of a (from scratch) C Debugger for Linux
• Reads the debug information (DWARF) of a C program from its ELF sections
• Runs the program and shows the corresponding C source code line to be executed
• Supports common debug operations such as step-over, step-into and step-out
• Shows the current call stack of the program
• Demo

• Title: "Comparison of Symbolic Maximal End Component Decomposition Algorithms" (Thesis | Defense)
• Implementation of symbolic decomposition algorithms into a custom build of the model checker "Storm"
• Formalization of two different symbolic representations, as well as developing a novel symbolic algorithm to convert between these representations
• Experimentally evaluated the algorithms' performance by using the "quantitative verification benchmark set"
• Grade: 1.3
  (German grading system: 1.0 best - 4.0 passing)

• Implementation of an extended version of the board game "reversi"
• Each game is played by sending and receiving moves over the network
• The bot decides its next move within a given time constraint by using an evaluation function for the board and searching in the space for possible moves using Alpha-Beta pruning
• Our group of three has received the best possible grade and offers for Student Assistant Jobs

• Development of multi-threaded program to convert markdown-like syntax into Html files
• Ogg files are embedded into a dedicated page, where e.g. title, artist and date are taken directly from headers embedded into the ogg file
• I use this program to generate my personal websites, which are hosted using OpenBSD's "httpd"
• Demo

• Development of a rudimentary operating system on an ATMega microcontroller
• This operating system contains functionality such as
  • Multiple process schedulers
  • Multiple memory allocation strategies with support for shared memory
  • Printing onto an external LCD screen
  • Extending the amount of available memory using an external memory module
  • Reading RFID data for user authentification using an external module

• Duration: October 2018 to September 2023
• Bachelor Thesis: "Comparison of Symbolic Maximal End Component Decomposition Algorithms" (Thesis | Defense)
• Final Grade: 1.9
  (German grading system: 1.0 best - 4.0 passing)

• Graduated July 2018
• Final Grade: 1.8
  (German grading system: 1.0 best - 4.0 passing)

• Born in Germany, September 2000
• I like to tinker around and learn how things actually work
• Played Guitar for over 10 years
  • Member of the Guitar Orchestra "Saitenweise" for several years
  • Audio Recording of me playing "Bloom" by Tatsuya Maruyama:
    
• Started playing Piano in August 2022
  • Audio Recording of me playing "The Bygone Days" by Joe Hisaishi: