Martin Dvorak
CEO, Chairman Of The Board at Výbor nezávislého ICT průmyslu
Prague, Czechia
Summary
🤩
Rockstar🎓
Top SchoolMartin Dvorak is a seasoned CEO and governance expert with over 30 years in telecommunications and technology, currently leading VOLNÝ while chairing its board and steering crisis, cashflow and regulatory strategy. He combines hands-on commercial leadership—having rebuilt post-acquisition product and sales operations—with deep expertise in M&A, competition law, procurement and strategic sourcing across startups and global corporations. Martin advises boards and private equity on corporate strategy, governance and EU-level telecom regulation, and serves on supervisory and industry committees shaping spectrum, competition and public funding policy. His academic background spans an MBA in International Corporate Strategy and a Master of Laws in Corporate Law, underpinning a pragmatic blend of business, legal and technical thinking. Unexpectedly for a senior executive, he also contributes to open-source mathematical tooling—adding algebraic and list-manipulation functionality to the Lean mathlib3 library—illustrating a continued technical curiosity. Based in Prague, he is native Czech, fluent in English and brings cross-cultural leadership proven in high-stakes regulatory and litigation environments.
11 years of coding experience
MBA, International Corporate Strategy, MBA, International Corporate Strategy at Hitotsubashi ICS (Hitotsubashi University Business School)Final exam, Telecommunication Technologies, Final exam, Telecommunication Technologies at Professional Technical School of Telecommunication Technologies PanskaBusiness Administration, Business Administration at National Institute of EducationMaster of Laws, Corporate Law, Master of Laws, Corporate Law at Vysoká škola podnikání a práva
Czech, English, Japanese, Russian, Spanish
Github Skills (11)
mathematics10
theorem-proving10
proofs10
proof10
math10
leanback10
maths10
linear-algebra9
functional-programming8
data-structures8
data-structure8
Programming languages (12)
Github contributions (5)
leanprover-community/mathlib3
Jan 2022 - Jan 2023
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:65 reviews, 14 commits, 17 PRs in 1 year
Contributions summary:Martin primarily contributed to the `mathlib3` mathematical library by introducing new functionality and improving existing features. Their contributions include adding infix notation for matrix dot product, defining cross products, and refining existing functions like filter and join. They also focused on code enhancements such as relaxing typeclass assumptions and adding functionality around list manipulation within the mathematical context.
maththeorem-provingcomponents-librarymathematicsjavascript
madvorak/duality
Jul 2024 - Mar 2025
Contributions:2 releases, 130 pushes, 4 branches in 8 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.