Anton Kovsharov
Creator And Lead Developer
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolAnton Kovsharov is a creator and lead developer with 12 years of experience building collaborative web applications and tooling, currently leading the Paper Proof project which brings visual theorem proving to canvas and is one of the most popular Lean repos cited by Terence Tao and Kevin Buzzard. A former Google software engineer and Frontend TL, he designed collaborative canvases and incident-replay systems and led framework improvements across large-scale production teams. At Briefly Bio he built an AI-assisted Experiment Builder using TipTap, Yjs CRDT and TypeScript, reflecting a strong focus on real-time collaboration and UX for complex structured data. Technically versatile, he codes in TypeScript, C++, Lean and has deep algorithmic roots—an ACM ICPC World Finals silver medalist with a Master’s from ITMO. An active open-source maintainer and content creator, he shares technical work publicly via GitHub and a popular YouTube channel, blending research-grade rigor with accessible engineering. He also holds a private pilot license (PPL A), hinting at a methodical, systems-oriented mindset beyond software.
13 years of coding experience
9 years of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at ITMO University
English, Russian
Stackoverflow
1reputation
0reached
3answers
0questions
Github Skills (22)
mathematics10
theorem-proving8
vscode8
data-extraction6
dynamic-programming6
retrieval-augmented6
combinations6
machine-learning6
vscode-extension6
scala6
java6
algorithm6
difference6
bitset6
programming-language4
Programming languages (5)
Github contributions (5)
antonkov/CUDA-LDPC-BER-Simulator
Jan 2017 - Jun 2017
Contributions:56 commits, 49 pushes, 2 branches in 4 months
antonkov/masterWork
Feb 2017 - Jun 2017
Contributions:205 pushes, 1 branch 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.