Pavel Batanov

Back End Developer at Авито

Odintsovo, Moscow Oblast, Russian Federation
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

👤
Senior
🎓
Top School
Pavel Batanov is a seasoned back-end developer with 11 years of experience building developer-focused tools and scalable services, currently working at Avito. Trained in applied mathematics at MSU, he blends strong engineering fundamentals with practical system architecture experience gained as a systems architect and senior developer at Lamoda Group. A PHP and Symfony specialist, Pavel is an active open-source contributor to notable projects like JMS Serializer and the Phan static analyzer, where he improved deserialization robustness, metadata handling, packaging and Windows support. He prefers turning complex problems into simple, reliable solutions and brings demonstrated expertise in testability and build automation. Based in Odintsovo, he combines deep backend craftsmanship with a pragmatic focus on developer tooling and maintainability.
code11 years of coding experience
job2 years of employment as a software developer
bookДиплом специалиста по инженерной специальности, Прикладная математика и информатика, Диплом специалиста по инженерной специальности, Прикладная математика и информатика at Московский Государственный Университет им. М.В. Ломоносова (МГУ)
bookPhysics, Physics at AESC MSU - Kolmogorov school
stackoverflow-logo

Stackoverflow

Stats
1,820reputation
247kreached
76answers
6questions
Badges
symfony
top-5%
github-logo-circle

Github Skills (24)

static-analysis10
analyzer10
testing10
data-serialization10
metadata10
serialization10
deserialization10
automation10
php10
automations10
phpunit9
symfony9
yaml9
exception-handling9
jenkins6

Programming languages (15)

C#SmartyJavaC++CSSCGoKotlin

Github contributions (5)

github-logo-circle
schmittjoh/serializer

Apr 2016 - May 2021

Library for (de-)serializing data of any complexity (supports JSON, and XML)
Role in this project:
userBack-end Developer
Contributions:2 reviews, 5 commits, 6 PRs in 5 years 1 month
Contributions summary:Pavel primarily contributed to improving the JMS serializer library, focusing on deserialization and metadata handling. They addressed issues related to casting data types during deserialization by adding checks and introducing new exceptions. Additionally, the user modified the YamlDriver to allow loading multiple YAML extensions and made adjustments to tests.
serializingcomplexityxmlserializationserializing-data
phan/phan

Dec 2015 - Jan 2016

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
Role in this project:
userBack-end Developer & Automation Engineer
Contributions:18 commits, 13 PRs, 64 comments in 1 month
Contributions summary:Pavel primarily contributed to the development and maintenance of the Phan static analyzer, focusing on improving its functionality and packaging. Their work includes implementing Phar packaging for distribution, fixing issues related to its Windows usage, and refactoring test logic. The user also improved testing infrastructure by introducing a data provider for tests and implemented code base listeners to improve test execution, showcasing skills in software build automation and testability.
static-analyzerphananalysisphptla
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
Pavel Batanov - Back End Developer at Авито