Michael Ledin

Moscow, Moscow, Russia
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
Michael Ledin is a pragmatic CTO and founder with over a decade of hands-on product and engineering leadership, known for turning early-stage ideas into scalable SaaS and mobile products. He has repeatedly built and scaled engineering teams (from small startups to 35 people), delivered fast MVPs that secured funding, and cut infrastructure costs by up to 4x while improving platform performance and reliability. His work spans full-stack development, CI/CD, monitoring, cybersecurity, and real-time streaming, including prototyping low-cost wearable streaming hardware and contributing build and SQL-dialect fixes to open-source projects like ZIO Quill. At consumer and B2B businesses he drove measurable outcomes—faster releases, fewer bugs, doubled MRR from platform integrations, and major reductions in support and hosting spend. Comfortable with both strategic IT transitions (migrations off foreign services, establishing cyber teams) and detailed automation (Homebrew cask maintenance), he combines operator discipline with hands-on engineering. Based in Moscow with an MS/CS background from Bauman, he thrives on practical modernization that balances cost, speed, and security.
code11 years of coding experience
job15 years of employment as a software developer
bookComputer Science, Computer Science at Bauman Moscow State Technical University
languagesEnglish, Russian
stackoverflow-logo

Stackoverflow

Stats
25,486reputation
4.5mreached
268answers
47questions
Badges
logging
top-5%
animation
top-5%
ubuntu
top-5%
javascript
top-5%
gradle
top-1%
dynamic
top-5%
github-logo-circle

Github Skills (56)

android-gradle-plugin10
docker10
package-management10
homebrew-cask10
scala10
homebrew10
automation10
sql10
android10
automations10
gradle10
animation9
ubuntu9
database-api9
javascript9

Programming languages (17)

JavaCSSCScalaVueGoMustacheHTML

Github contributions (5)

github-logo-circle
zio/zio-quill

Oct 2016 - Sep 2020

Compile-time Language Integrated Queries for Scala
Role in this project:
userBack-end Developer & DevOps Engineer
Contributions:32 commits, 63 PRs, 26 pushes in 3 years 11 months
Contributions summary:Michael primarily contributed to the back-end infrastructure and build processes of the ZIO Quill project. They implemented changes to the build scripts, updating the SBT version and modifying the build configuration. Additionally, the user worked on code related to database interaction and SQL generation, including refactoring parts of the SQL idiom and enhancing test coverage. The commits also included changes to address SQL dialect issues for SQLite and SQL Server.
functional-programmingdottylinqjdbccompile-time
💀 Alternate versions of Casks (deprecated)
Role in this project:
userAutomation Engineer
Contributions:7 commits, 8 PRs, 6 comments in 1 month
Contributions summary:Michael's contributions primarily involve updating cask files for various applications within the Homebrew Cask ecosystem. They focused on updating application versions, adjusting download URLs, and modifying checksums within these cask files. This indicates a role centered on maintaining and automating the installation process for software packages managed by Homebrew Cask. The updates ensure that users can download the latest versions of various applications.
caskscaskhomebrewalternate
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
Michael Ledin