Jonathan Verner
Staff Software Engineer at HID
Prague, Czechia
Summary
🤩
Rockstar🎓
Top SchoolJonathan Verner is a Staff Software Engineer based in Prague with 17 years of experience bridging deep mathematical research and production software. He holds a PhD in Mathematics and has taught CS and AI while conducting set theory research, bringing rigorous problem-solving and formal thinking to engineering challenges. At HID and previously Nexus Group he focuses on robust full-stack systems, and his open-source contributions to the well-known Brython project show practical expertise in language runtimes, compiler/runtime tooling, and precision-sensitive numeric work. He also has a history of applied research—building C++/PostGIS traffic models—and a habit of surfacing subtle correctness and performance improvements that stem from his mathematical background.
17 years of coding experience
14 years of employment as a software developer
MA, Mathematics, MA, Mathematics at University of North Carolina at GreensboroPhD, Mathematics, PhD, Mathematics at Charles University
English, French
Stackoverflow
303reputation
10kreached
5answers
4questions
Github Skills (14)
javascript10
compiler-design10
python10
base649
testing9
debug9
debugging9
asyncio8
front-end-development8
versioning6
introspection6
jinja26
brython6
console6
Programming languages (7)
Github contributions (5)
brython-dev/brython
Aug 2016 - May 2018
Brython (Browser Python) is an implementation of Python 3 running in the browser
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:234 commits, 66 PRs, 19 pushes in 1 year 9 months
Contributions summary:Jonathan made significant contributions to the Brython project, implementing and enhancing core features of the Python-to-JavaScript compiler and runtime environment. Their work includes adding profiling tools to the code, integrating more precise float formatting, refactoring, and implementing features like file uploads in XMLHttpRequests. They also improved the cmath module implementation, and addressed bugs in existing functionality.
pythonbrowserbrythonpython-3python3
jonathanverner/ReviewIt
Jul 2012 - Aug 2012
Contributions:92 commits in 22 days
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.