Egor Namakonov
St Petersburg, St Petersburg City, Russia
Summary
👤
Senior🎓
Top SchoolEgor Namakonov is a doctoral student and researcher with 11 years of experience focused on formal verification of concurrent programs, developing mechanized program logics to prove and machine-check liveness for both blocking and non-blocking concurrency. His prior work at JetBrains Research on weak memory models included verifying compilation and analyzing liveness properties, blending deep theoretical work with practical mechanization. Based in Aarhus, he pairs research with hands-on software engineering—contributing Android UI improvements and tests to the well-used orgzly-android project—and has taught multiple computer science courses. Egor’s profile combines rigorous formal methods expertise with real-world engineering and a knack for making subtle correctness guarantees auditable by construction.
11 years of coding experience
Технологии разработки ПО, 5, Технологии разработки ПО, 5 at Санкт-Петербургский политехнический университет Петра Великого
Русский, Английский
Github Skills (10)
javas10
uid10
front-end-development10
ui-design10
android10
java10
android-testing9
android-sdk9
android-test9
org-mode4
Programming languages (9)
Github contributions (5)
orgzly/orgzly-android
Jul 2017 - Aug 2017
Outliner for taking notes and managing to-do lists
Role in this project:
Mobile Developer (Android)
Mobile Developer (Android)Contributions:13 commits, 1 PR, 7 comments in 25 days
Contributions summary:Egor primarily contributed to the development of the Android application, `orgzly-android`. Their work focused on enhancing the user interface and functionality of the notebook list view. This included adding the display of note counts within the notebook list, implementing tests for note counts, and refactoring the code for better maintainability. They also addressed issues related to data display and view binding, particularly in the context of showing details like encoding and modification times, making significant modifications to the `BooksFragment`.
notesproductivitytasksorg-modeto-do
fresheed/bachelor_thesis
May 2017 - Jun 2017
Contributions:47 commits, 15 pushes, 2 branches in 1 month
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.