Sergey Berezin

Chief Busy Beaver at A Project

Mountain View, California, United States
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
Sergey Berezin is a seasoned software engineer and technical leader with over a decade of experience building cloud-native infrastructure and developer tooling, currently leading projects as "Chief Busy Beaver" in Mountain View. His background spans formal verification research (Stanford, Synopsys, Calypto) and production engineering at Google supporting Chrome test infrastructure and related GCP services. Sergey blends rigorous academic training—Ph.D.-level work in automated theorem proving and degrees in physics/math—with hands-on backend and middleware development, and he contributes to open-source translation tooling such as enhancements to poedit/Crowdin integrations. Beyond code, he is an accomplished filmmaker and multimedia creator, bringing a design-minded, multidisciplinary perspective to engineering problems and system reliability.
code9 years of coding experience
job15 years of employment as a software developer
bookBS & Master's degrees, Physics, Mathematics, BS & Master's degrees, Physics, Mathematics at Novosibirsk State University (NSU)
bookPh.D., Computer Science, Ph.D., Computer Science at Carnegie Mellon University
languagesRussian, English, French
stackoverflow-logo

Stackoverflow

Stats
1reputation
0reached
0answers
0questions
github-logo-circle

Github Skills (7)

http-client10
xliff10
c-language10
cprogramming-language10
translation10
gettext9
json9

Programming languages (8)

PowerShellDockerfileC++ShellAstroGoInno SetupPython

Github contributions (5)

github-logo-circle
vslavik/poedit

Feb 2020 - Jul 2020

Translations editor for Mac, Windows and Unix
Role in this project:
userBack-end Developer
Contributions:7 commits, 8 PRs, 152 comments in 4 months
Contributions summary:Sergey primarily focused on enhancing the functionality of the `poedit` application by implementing features related to external service integrations. Their contributions include allowing customization of headers in HTTP client POST requests, adapting the application to use the Crowdin v2 API, and integrating support for XLIFF files downloaded from the Crowdin UI. The user's work has increased the application's capabilities for translation management through improvements in the application's file synchronization and the way it handles language information.
unixtranslationstextmatewindowstranslation
tetatetit/poedit

Feb 2020 - Jul 2020

Gettext translations editor for Mac, Windows and Unix.
Contributions:7 releases, 151 pushes, 18 branches in 4 months
unixtranslationswindowstranslationmac
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
Sergey Berezin - Chief Busy Beaver at A Project