Antonio Nikishaev
Distributed Software Engineer at Sentenai
Russia
Summary
👤
Senior🎓
Top SchoolAntonio Nikishaev is a distributed software engineer with 15 years of experience building networked systems and tooling, currently working at Sentenai. With a strong academic background in applied mathematics (Master's) and long-standing ties to Samara State Technical University, he blends rigorous problem-solving with practical system administration and scientific computing skills. His language palette spans C, Haskell, Perl, MATLAB and JavaScript, and he has hands-on experience with SIP/RTP multimedia systems and cross-platform C++ builds. Antonio is an attentive technical writer in open-source theorem-proving and formal methods projects (notably improving docs for the math-comp and Rocq/Coq ecosystems), showing a knack for clarifying complex mathematical software. He pairs deep technical chops with a history of freelancing and product work for small-to-medium web projects, making him effective at both research-adjacent development and production engineering. Colleagues value his methodical attention to correctness and documentation as much as his ability to ship distributed features.
15 years of coding experience
4 years of employment as a software developer
Master's Degree, Applied Mathematics, Master's Degree, Applied Mathematics at Samara State Technical University
English, Russian
Stackoverflow
247reputation
987reached
3answers
2questions
Github Skills (14)
markdown10
theorem-proving10
proof-assistant10
rs10
markdown-it10
restructuredtext10
coq10
typos10
documentation10
apl6
macos6
dtrace6
pijul6
ruby6
Programming languages (26)
Github contributions (5)
math-comp/math-comp
Sep 2019 - Apr 2020
Mathematical Components
Role in this project:
Technical Writer
Technical WriterContributions:6 commits, 2 PRs, 4 comments in 6 months
Contributions summary:Antonio's contributions primarily focused on improving the documentation within the math-comp/math-comp repository. The commits demonstrate a consistent effort to fix typos, enhance clarity, and correct inaccuracies in the documentation files. The user made revisions to various files including those related to paths, binomial coefficients, tuples, and matrix operations. Their work directly contributes to the readability and usability of the project's documentation for other users.
ssreflectmathdependent-typeshomotopy-type-theorysymbolic-computation
rocq-prover/rocq
Sep 2019 - May 2020
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Role in this project:Technical Writer
Technical WriterContributions:16 commits, 8 PRs, 27 comments in 7 months
Contributions summary:Antonio primarily focused on improving the repository's documentation. Their contributions included fixing documentation errors, clarifying explanations, and documenting specific features. Several commits involved updating the Sphinx documentation, including changes to the proof engine and SSReflect proof language sections. The user also updated the changelog and corrected various stylistic and formatting issues in the documentation.
management-systemdependent-typeshomotopy-type-theorytheorem-provingsemi
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.