Andrey Sokolov
Team Lead At AI Assistant Core at JetBrains
Amsterdam, North Holland, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolAndrey Sokolov is a seasoned software engineering leader with 12 years of experience building developer tools and machine learning features for IDEs, currently heading the AI Assistant Core team at JetBrains in Amsterdam. He combines hands-on engineering—from PHP language support and refactorings in PhpStorm to ML-driven code-clustering and suggestion systems—with team leadership and product-oriented delivery. His contributions to the well-known JetBrains/phpstorm-stubs repository improved PHP code analysis and IDE completion for many runtimes and extensions, reflecting deep expertise in language tooling. With an academic background in applied mathematics from ITMO University, he brings a strong analytical approach to designing scalable, ML-infused developer experiences.
13 years of coding experience
9 years of employment as a software developer
Master's degree, Applied Mathematics and Informatics, Master's degree, Applied Mathematics and Informatics at ITMO University
Github Skills (5)
php10
phpstorm10
mongodb-database9
mongodb9
mysqli9
Programming languages (3)
Github contributions (5)
JetBrains/phpstorm-stubs
Aug 2013 - Nov 2020
PHP runtime & extensions header files for PhpStorm
Role in this project:
Back-end Developer
Back-end DeveloperContributions:538 commits, 387 PRs, 361 pushes in 7 years 4 months
Contributions summary:Andrey contributed to the JetBrains PHPStorm stubs repository by fixing and updating stubs for PHP runtime and extensions. Their contributions included updating stubs for Phar-related functions, adding support for MongoDB's findAndModify and distinct methods, and incorporating missing constants and functions from PHP 5.5 and PHP 7.1, specifically within the GD, mysqli, and password extensions. These updates helped improve the IDE's code completion and analysis capabilities for PHP projects.
header-filesphpphpstorm
andrey-sokolov/phpstorm-stubs
Jul 2015 - Aug 2020
Contributions:81 pushes 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.