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.
9 years of coding experience
15 years of employment as a software developer
BS & Master's degrees, Physics, Mathematics, BS & Master's degrees, Physics, Mathematics at Novosibirsk State University (NSU)
Ph.D., Computer Science, Ph.D., Computer Science at Carnegie Mellon University
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.
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.