Iaroslav Baranov
Java Software Engineer at edna
Batumi, Autonomous Republic of Adjara, Georgia
Summary
👤
Senior🎓
Top SchoolIaroslav Baranov is a Java/Kotlin software engineer with 12 years of programming experience and seven years focused on the Java platform, currently supporting a 40+ microservice backend at edna. He holds Oracle Java 11 and Pivotal Spring 5 certifications and has production experience across relational and NoSQL stores (MySQL, MongoDB, Solr) as well as SAP Hybris and Yandex cloud ecosystems. Iaroslav combines hands-on implementation with architecture and release-level responsibilities—from technical grooming and hotfixes to participating in architectural committees. His GitHub hosts six personal projects totaling 20,000+ lines of code, and he has pursued deep formal-methods research, formalizing chapters of Type Theory in Coq as a side project. He also has practical security and infra experience (TLS/JCA work at Sravni.ru and large-scale data migrations) and a track record of building tooling and automation for resilient deployments.
12 years of coding experience
16 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at ITMO UniversityMaster's degree Computer Software Engineering, Master's degree Computer Software Engineering at Saint Petersburg State University of Aerospace and InstrumentationSpecialist degree Fluid dynamics, Specialist degree Fluid dynamics at Peter the Great St.Petersburg Polytechnic University
English, Russian
Stackoverflow
1,120reputation
37kreached
1answer
33questions
Github Skills (28)
java9
spring9
spring-boot9
schematron7
vscodium7
workitem6
clipboard6
android-studio6
android6
clrs6
angularjs6
spring-security6
unit-testing6
visual-studio-code-extension6
youtube-api6
Programming languages (4)
Github contributions (5)
kciray8/IronBrain
Nov 2014 - Sep 2016
Contributions:2 releases, 30 commits, 10 pushes in 1 year 10 months
kciray8/the-great-formalization-project
Jul 2024 - Apr 2025
Contributions:3 PRs, 10 pushes, 3 branches in 8 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.