Mike Korostelev
Staff AI Engineer at Pareto.AI
Philadelphia, Pennsylvania, United States
Summary
🤩
Rockstar🎓
Top SchoolMike Korostelev is a Staff AI Engineer with 11 years of experience building scalable AI and cloud-native systems across startups and enterprise teams, currently focusing on production multi-agent and workflow-driven AI at Pareto.AI. He blends deep engineering (MSEE, PhD ABD) with hands-on product delivery—having co-founded a PaaS that handled over 1M deployments and led cost-saving serverless ML inference at Black Knight. Mike has repeatedly shipped full-stack solutions that couple RAG, LLM tool integration, and durable distributed workflows (Temporal.io), and has a track record of prototyping LLM-driven developer tooling long before mainstream adoption. He balances technical leadership and individual contribution, from managing remote engineering teams and IDP automation to optimizing cold starts with a Rust-based Lambda runtime. Based in Philadelphia, he brings a public-policy and research-informed perspective, having led NSF-funded work applying ML to policy analysis and document processing at scale.
11 years of coding experience
19 years of employment as a software developer
Doctor of Philosophy - PhD (ABD) Engineering, Doctor of Philosophy - PhD (ABD) Engineering at Temple University
Github Skills (142)
expressjs10
corda10
javascript10
dynamodb10
cyclic10
deploying10
documentation-generator10
nodejs10
css10
fs10
vuepress10
docusaurus10
fundamentals9
amazon-dynamodb9
neo4j9
Programming languages (12)
Github contributions (5)
korostelevm/Snowflake
Apr 2020 - Jun 2022
All your lambdas must be cold
Contributions:2 PRs, 25 pushes, 3 branches in 2 years 2 months
serverlessaws-lambdacoldlambdasaws
cyclic-software/s3fs
Dec 2022 - Feb 2023
Drop in replacement for the Node.js fs library backed by AWS S3
Contributions:10 reviews, 76 commits, 17 PRs in 1 month
drop-innode-jsfs-libraryfs-jsnodejs
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.