Pavol Žáčik
Software Engineer at Red Hat
Brno, Southeast, Czechia
Summary
🤩
Rockstar🎓
Top SchoolPavol Žáčik is a software engineer based in Brno with six years of experience building secure, performance-oriented systems. A Masaryk University alumnus with a master’s in information security, he blends cryptography expertise and formal methods into practical engineering work. At Red Hat he contributes to TuneD and previously worked on Diffkemp for semantic equivalence checking of C projects, reflecting a focus on correctness and performance in system software. He’s an active open-source contributor, notably enhancing the Python bindings and test automation for the Botan cryptography toolkit, including X.509 and CRL handling. He also taught information security and formal verification topics at university level, demonstrating both technical depth and the ability to communicate complex ideas. Outside work he’s a triathlete, bringing the same discipline and endurance to code and testing as to training.
6 years of coding experience
Master's degree, Information security, Master's degree, Information security at Masaryk University Brno
English, German, Slovak, Czech
Github Skills (13)
crypto10
crypt10
x50910
python10
cryptography10
testing10
cplus9
cpp9
tls128
mtls8
libtls8
tls138
pytest7
Programming languages (5)
Github contributions (5)
randombit/botan
Oct 2019 - Dec 2019
Cryptography Toolkit
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:10 commits, 3 PRs, 3 comments in 1 month
Contributions summary:Pavol primarily contributed to the Python bindings for the Botan cryptography library. They implemented and improved various functions within the Python interface, including those related to X.509 certificate handling. Additionally, the user added and enhanced testing capabilities for the Python bindings, which included tests for certificate verification, key usage, and CRL integration. Their work focused on extending and improving the functionality and testing of the Python interface for cryptographic operations.
cryptographycryptography-librarycryptanalysistlsc-plus-plus
zacikpa/libcpuid-fork
Apr 2024 - Sep 2024
a small C library for x86 CPU detection and feature extraction
Contributions:165 pushes, 6 branches in 4 months
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.