Igor Fedorov
Software Developer at I-SYS
Russia
Summary
👤
Senior🎓
Top SchoolIgor Fedorov is a Java back-end developer with 11 years of professional experience, currently building server-side systems at I-SYS using Spring and Ansible. Based in Russia, he brings steady production experience since 2014 with a strong focus on reliable enterprise services and infrastructure automation. Passionate about functional programming, Igor studies type theory and lambda calculus in his spare time and aspires to explore Homotopy Type Theory, giving him a rare blend of practical engineering and deep theoretical curiosity. He started formal studies in computational and applied mathematics, which complements his interest in rigorous abstractions and algorithmic thinking. Known for steady long-term contributions at his employer, he combines pragmatic delivery with continuous learning in advanced programming paradigms.
11 years of coding experience
Школа-Интернат №9 Среднего (Полного) Общего Образования ОАО "РЖД", г. КинельСредняя школа №9, Город КинельСредняя школа №5, г. Самараincomplete, Computational and Applied Mathematics, incomplete, Computational and Applied Mathematics at Samara State University
Russian, English
Github Skills (4)
lambda2
docker-image2
apollo-federation1
aws-lambda1
Programming languages (4)
Github contributions (5)
MaCS-Club/MaCS-Club.github.io
Jan 2017 - Jan 2023
Contributions:34 pushes, 3 branches in 6 years 1 month
MaCS-Club/agda-lectures
Jan 2018 - Feb 2023
Contributions:24 pushes, 3 branches, 2 comments in 5 years 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.