Jan Gorzny
Co-Founder at Zircuit
Old Toronto, Ontario, Canada
Summary
👤
Senior🎓
Top SchoolJan Gorzny is a PhD-trained computer scientist and co-founder with 12 years of experience focused on security, scaling, and formal methods for blockchain systems. After completing a PhD in Algorithms & Complexity at the University of Waterloo, he led L2 scaling efforts at Quantstamp and now builds at Zircuit, blending research rigor with startup execution. His background in formal verification and requirements translation (FORML to Alloy) informs a practical approach to detecting protocol interactions and hardening distributed ledgers. Jan’s work spans academia and industry—from simulator and verification tooling during early research roles to production-minded blockchain security—bringing both theoretical depth and hands-on system design. Based in Old Toronto, he combines deep formal-methods expertise with entrepreneurial drive to tackle real-world scalability and security challenges in crypto infrastructure.
12 years of coding experience
6 years of employment as a software developer
M.Sc. Algorithmic Graph Theory, M.Sc. Algorithmic Graph Theory at University of VictoriaM.Sc. Computer Science - Formal Methods, M.Sc. Computer Science - Formal Methods at University of TorontoDoctor of Philosophy - PhD Algorithms & Complexity, Doctor of Philosophy - PhD Algorithms & Complexity at University of Waterloo
English
Stackoverflow
1,742reputation
144kreached
25answers
10questions
Github Skills (16)
compression10
scala10
ethereum9
metadata8
evm8
java6
vector6
quicksort6
algorithm6
linear-programming6
math6
theory6
r6
sorting6
security2
Programming languages (6)
Github contributions (5)
Paradoxika/Papers
Feb 2015 - Nov 2020
Research papers on logic
Contributions:242 commits, 211 pushes, 3 branches in 5 years 9 months
quantstamp/halo2-analyzer
Jun 2023 - Jan 2026
SMT 2023 Submission; license pending
Contributions:1 release, 48 reviews, 2 PRs in 2 years 7 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.