Jing Guo

Regensburg, Bavaria, Germany
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
Jing Guo is a software engineer with 12 years of experience who blends deep mathematical training (MSc in Mathematics from the University of Regensburg) with practical open-source software development. They have contributed substantial back- and full-stack code to prominent projects like SageMath (mathematical algorithms and Arakelov–Zhang pairing implementations) and the Nyxt hacker browser (spell-check, hinting, manual refactors), demonstrating strength in both research-grade algorithms and user-facing tooling. Past roles include research software engineering for SageMath via Google Summer of Code and an internship at Atlas Engineer, reflecting an ability to move between academic research and production code. Jing has a history of diagnosing subtle algorithmic bugs and improving documentation and tests, a sign of careful, quality-conscious engineering. Based in Regensburg, Germany, they maintain a technical blog and public GitHub, signaling commitment to knowledge sharing and reproducible work. An interesting detail: their contributions span niche mathematical functionality (global/local heights, affine maps) and practical browser UX improvements, showing an uncommon pairing of abstract math and pragmatic UI polish.
code12 years of coding experience
job1 year of employment as a software developer
bookMaster of Science, Mathematics, Master of Science, Mathematics at University of Regensburg
bookThe University of Utah
bookIndependent University of Moscow
bookBudapest Semesters in Mathematics
languagesChinese, English, Russian, German
stackoverflow-logo

Stackoverflow

Stats
64reputation
9kreached
1answer
5questions
github-logo-circle

Github Skills (20)

sage10
python10
mathematica10
browser10
math10
common-lisp10
extensible10
algebra9
geometry9
webbrowser9
keyboard9
number-theory9
testing8
emacs7
ide6

Programming languages (14)

C++MakefileCommon LispHTMLJupyter NotebookTypeScriptShellRacket

Github contributions (5)

github-logo-circle
sagemath/sage

Jun 2022 - Oct 2022

Main repository of SageMath
Role in this project:
userBack-end Developer
Contributions:10 reviews, 78 commits, 11 PRs in 3 months
Contributions summary:Jing primarily contributed to the development and debugging of mathematical functions within the SageMath library. Their work involved implementing support for rational affine maps, correcting implementations of functions, and fixing spacing issues. They also worked on the global and local height functions within the project, which included adding examples and improving the documentation. The user made changes across different modules of the library, including affine, and projective schemes.
atlas-engineer/nyxt

Nov 2021 - Jan 2022

Nyxt - the hacker's browser.
Role in this project:
userFull-stack Developer
Contributions:28 reviews, 27 commits, 22 PRs in 2 months
Contributions summary:Jing contributed significantly to the Nyxt browser project by implementing new features and enhancing existing functionality. Their work included spell-check improvements with language support, test creation for the submatches function, and adding a "Create init file" button to the manual. Further contributions involved refactoring the manual's structure and modifications to the element hinting and toolbar features.
browservimproductivityjavascriptemacs
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
Jing Guo