Software Engineering Consultant
I give talks and trainings on the topics of C++, Nix & NixOS, Software Architecture, Build Systems, Automation of Builds, Integration, Tests, and Deployment of Software.
Every winter semester, I hold the university lecture on software quality for Master's students in Computer Science and Electrical Engineering at the FH Münster.
Author of the Book C++17 STL Cookbook and the editor of the Book C++17 in Detail.
Co-Author of the scientific paper Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor, FM 2016: Formal Methods and Efficient Implementation of the bare-metal Hypervisor MetalSVM for the SCC), 6th Many-core Applications Research Community (MARC) Symposium.
Author/Co-Author of Cyberus Technology Blog posts about Intel CPU vulnerabilities: Meltdown, Spectre V4, Intel LazyFP Vulnerability, L1 Terminal Fault Vulnerability, Zombieload, TSX Asynchronous Abort.
Most of my experience concentrates on embedded (x86-64 and ARM) and backend development on Linux operating systems with C++ and Haskell. I use the strong type systems of languages to define error states out of existence as much as possible.
In frontend development, I have the most experience with the Qt Framework on Linux and Windows, embedded and non-embedded systems. I have also built rich, complex web- and desktop applications against REST APIs with Electron.js and React, typically implemented with the type safety of Purescript.
I am the maintainer of the Python NixOS Integration Test Driver portion of the nixos/nixpkgs Project on GitHub
I hold the lecture “Quality-Assuring Software Engineering Methods“ for master students every winter semester, which is about unit & integration testing, spec-driven testing, fuzzing, reproducibility, development processes in teams, bad established practices in the industry, etc.