Blockchain Developer & C Developer & C++ Developer & Embedded Systems Developer & FPGA Engineer & Rust Developer

Experienced C++ developer and mathematician with a strong background in solving complex technical challenges. Skilled in Rust, Python, and Isabelle, with a focus on Test-Driven Development and writing clean, modular code. Collaborated with top professionals in Austria and Slovakia, including coders, data scientists, and engineers. Currently freelancing on personal projects, teaching computer science and mathematics, and consulting. Passionate Neovim fan.

Self-employed / Freelance (06/2023 - present)

• Teaching undergraduate and postgraduate computer science and mathematics, including performance and cache optimization, ARM/x86 assembly, algorithms and data structures, group theory, linear algebra, and advanced courses in statistics and probability theory.
• Preparing students for the International Mathematical Olympiad and International Olympiad in Informatics.
• Conducting online and on-site coding bootcamps and courses focused on enhancing developer productivity.
• Freelancing as a C++ developer and consulting.
• Authoring an open-source project: state0, an Omarchy-like Linux distribution and configuration as code tool (alpha).

C++ developer (08/2020 - 05/2023)

• Developed and maintained real-time low-latency modular distributed hardware control software for the multibeam electron mask writer for 5nm, 3nm, and 2nm semiconductor manufacturing EUV nodes.
• Worked on real-time software control of electrostatic lenses and the air bearing stage used for reticle movement.
• Collaborated closely with hardware design teams designing ASIC and MEMS chips for the mask writer.
• Took part in the design and implementation of internal hardware protocols and distributed code for more than 4 embedded CPU architectures, including x86, ARM, Motorola 68k ColdFire, and proprietary ASIC architectures.
• Introduced Catch2 to the codebase and CI, implemented automated tests using QuickCheck-like property-based probabilistic automated testing methods, and introduced mutation testing, coverage metrics, static analysis, automatic code formatting, and coding style guidelines.

C++ developer (06/2019 - 05/2020)

• Contributed to the development and maintenance of antivirus software for Linux and macOS endpoints and servers.
• Implemented a scan-scheduling feature for Linux servers.
• Improved automated tests and documentation.
• Worked on API adaptations.

Self-employed / Freelance (2017 - 2019)

• Taught more than 800 private lessons and courses for elite university students.
• Covered algorithms, data structures, performance optimization, cache optimization, ARM/x86 assembly, linear algebra, group theory, preparation for IOI and IMO competitions, malware analysis, CI/CD with GitHub Actions, C++ programming, HTML, and JavaScript.
• Managed contractor tutors.

C++ and C# developer (part-time) (09/2012 - 01/2013)

• Implemented a completely new high-reliability banking server in C++.
• Built a thin client for endpoints in C#/Windows Forms for input and processing of bank transactions.
• Worked on software for one of the largest central European banks.