Martin Hořeňovský
Senior Software Engineer II at Self-employed
Czechia
Summary
🤩
Rockstar🎓
Top SchoolMartin Hořeňovský is a Senior Software Engineer II with 11 years of experience specializing in modern C++ systems, build automation, and performance optimization. Based in Czechia, he currently modernizes Pex’s codebase and packaging—porting libraries to ARM64/M1, migrating to C++20, and shrinking deploy sizes by an order of magnitude. A long-term maintainer of the popular Catch2 testing framework, he combines open-source stewardship with practical engineering work on vcpkg and high-performance SAT solvers. His background as a researcher and C++ instructor informs a rigorous approach to correctness, testing, and observability, and he regularly teaches workshops and speaks at C++ conferences. Notably, he blends low-level optimization (vectorization, allocation reduction) with developer-focused tooling and release automation.
11 years of coding experience
5 years of employment as a software developer
Master's Degree, Artificial Intelligence, Master's Degree, Artificial Intelligence at Faculty of Electrical Engineering, Czech Technical University in Prague
Czech, English, German
Stackoverflow
3,512reputation
555kreached
58answers
17questions
Github Skills (37)
algorithm10
code-optimization10
algorithms10
debug10
c-language10
lib10
testing10
test-framework10
cmake10
data-structure10
package-manager-tool10
automation10
build-automation10
data-structures10
vcpkg10
Programming languages (16)
Github contributions (5)
catchorg/Catch2
Nov 2016 - Jan 2023
A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)
Role in this project:
QA Engineer / Test Automation Engineer
QA Engineer / Test Automation EngineerContributions:83 releases, 296 reviews, 1882 commits in 6 years 2 months
Contributions summary:Martin was primarily focused on improving the quality of the Catch2 framework. The commits show the user fixing bugs, improving the coverage, and testing new features such as JUnit output, by directly modifying and adding test cases to enhance the functionality of the existing testing framework. Their contributions included bug fixes for core functionality, and improving existing testing procedures with enhancements like added support for additional reporting formats.
cpptestingbddframeworktest-framework
microsoft/vcpkg
Mar 2017 - Sep 2021
C++ Library Manager for Windows, Linux, and MacOS
Role in this project:Automation Engineer / Build & Release Engineer
Automation Engineer / Build & Release EngineerContributions:8 reviews, 24 commits, 30 PRs in 4 years 6 months
Contributions summary:Martin primarily contributed to updating and managing external library dependencies within the vcpkg package manager. Their commits focused on updating the "Catch" testing framework to various versions, reflecting an active role in maintaining the project's dependencies. The user consistently modified the portfile.cmake files, which highlights their ability to manage the build process and integrate dependencies within the vcpkg ecosystem. This role is key for library management.
c-plus-plussetuptoolspackage-managermacoscplusplus
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.