Petr Sedláček

Cryptographer at Trezor

Prague, Prague, 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

🤩
Rockstar
🎓
Top School
Petr Sedláček is a cryptographer based in Prague with five years of experience at the intersection of mathematics, security research, and software quality assurance. Currently at Trezor, he develops and prototypes cryptographic solutions for hardware wallet security, pairing practical R&D with a deep theoretical grounding from a Bachelor's in General Mathematics. His background includes hands-on QA roles at Avast and Gen™, where he drove testing rigor, reported hundreds of issues, and mentored colleagues on test automation and code clarity. He has also taught discrete mathematics at Charles University, bringing the ability to explain complex concepts to students and peers. Known for enjoying both how to break systems and how to make them safer, Petr blends curiosity-driven research with pragmatic engineering to improve real-world security.
code5 years of coding experience
job4 years of employment as a software developer
bookBachelor's degree, General Mathematics, Bachelor's degree, General Mathematics at Univerzita Karlova
languagesEnglish, Russian, Czech
github-logo-circle

Github Skills (35)

wallet10
python10
bitcoin-wallet10
firmware10
bitcoin10
dotnet10
trezor10
cryptocurrency10
wasabi10
privacy-preserving10
micropython10
cryptography10
monorepo10
nbitcoin10
rust10

Programming languages (8)

TypeScriptC#CTeXJavaScriptHTMLMarkdownPython

Github contributions (5)

github-logo-circle
M1nd3r/NMMA301

Oct 2020 - Feb 2021

Contributions:1 release, 31 commits, 1 push in 4 months
M1nd3r/WalletWasabi

Sep 2023 - Nov 2024

Open-source, non-custodial, privacy preserving Bitcoin wallet for Windows, Linux, and Mac.
Contributions:2 PRs, 13 pushes, 14 branches in 1 year 2 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.
Request Free Trial