Petr Zemek

Lead Software Engineer (CTO Platforms)

Brno, Southeast, Czechia
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Petr Zemek is a Lead Software Engineer and platform architect with 16 years of experience building cloud-native, threat-intelligence and platform systems from Brno, Czechia. He blends hands-on engineering in Linux, Python and Rust with technical leadership—driving platform migrations to Google Cloud, operating GKE and BigQuery, and overseeing multi-team threat intelligence services. His background spans industry and academia: a Ph.D. in theoretical computer science and past research in reverse compilation inform his work on decompilation tooling and security-focused pipelines. An active open-source contributor, he has improved build and release automation for RetDec and polished code quality in the widely used Flask project, reflecting attention to reproducible builds and developer ergonomics. Colleagues know him for combining systems-level rigor (Neovim, Tmux, low-level tooling) with pragmatic program management, student mentorship, and company-wide knowledge-sharing initiatives.
code16 years of coding experience
job13 years of employment as a software developer
bookDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Vysoké učení technické v Brně
languagesEnglish, German, Czech
stackoverflow-logo

Stackoverflow

Stats
9,911reputation
288kreached
17answers
42questions
Badges
rust-cargo
top-5%
switch-statement
top-5%
rust
top-5%
github-logo-circle

Github Skills (18)

python10
scripting10
bash10
wget10
flask-ask10
script10
sh10
shell10
flask10
documentation10
testing9
switch-statement9
build-automation9
rust-cargo9
rust9

Programming languages (13)

C++CSSRustCGoTypeScriptShellLLVM

Github contributions (5)

github-logo-circle
avast/retdec-idaplugin

Dec 2017 - Jan 2020

RetDec plugin for IDA
Role in this project:
userAutomation Engineer / Build & Release Engineer
Contributions:19 commits, 2 PRs, 17 pushes in 2 years 1 month
Contributions summary:Petr primarily focused on improving the build and scripting aspects of the RetDec plugin. Their contributions included enhancing error messages related to OS type detection, refining the script used for downloading and building external libraries, and ensuring secure file downloads. Furthermore, the user updated the scripts to use a more standard way to invoke the shell interpreter.
idaretdecvisualstudio
pallets/flask

Oct 2014 - Oct 2014

The Python micro framework for building web applications.
Role in this project:
userTechnical Writer & Code Quality Specialist
Contributions:12 commits, 1 issue in 1 day
Contributions summary:Petr primarily focused on improving code quality and consistency within the Flask framework. Their contributions involved fixing typos in documentation and comments, as well as standardizing the use of language and formatting (e.g., "test suite" vs "testsuite," "URLs" vs "urls," and consistent spacing). This work demonstrates a strong emphasis on adhering to established coding style guidelines (PEP8) and improving the readability and maintainability of the codebase. The changes made by the user suggest a detailed understanding of the codebase.
micro-frameworkpythonweb-applicationspyramidjinja
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.
Request Free Trial