Arseniy Zaostrovnykh
Software Engineer at SonarSource
Geneva, Geneva, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolArseniy Zaostrovnykh is a seasoned software engineer with 14 years of experience, currently at SonarSource in Geneva and holding a PhD in Computer Science from EPFL. He blends deep systems and compiler expertise—contributing to LLVM's static analyzer and enhancing Compiler Explorer's interactive front-end—with rigorous attention to security and performance. His background includes roles at Google, Intel, and Samsung, and he strengthens codebases through thorough test automation and QA work, as seen in organice. Comfortable across front-end, back-end, and static analysis domains, he has a proven track record of improving tooling accuracy, token-level UI interactions, and detecting subtle memory and attribute-related bugs. Notably, his contributions span both user-facing usability improvements and low-level analyzer correctness, reflecting a rare combination of UX sensitivity and formal correctness focus.
14 years of coding experience
4 years of employment as a software developer
PhD, Computer Science, PhD, Computer Science at Ecole polytechnique fédérale de LausanneBachelor of Science (BS), Applied Mathematics and Physics, 5.0, Bachelor of Science (BS), Applied Mathematics and Physics, 5.0 at Moscow Institute of Physics and Technology (State University) (MIPT)
Русский, English, French, German
Github Skills (28)
debug10
javascript10
c-language10
static-analysis10
highlight10
llvm10
testing10
syntax-highlighter10
memory-management10
monaco-editor10
security10
highlighter10
front-end-development10
jestjs10
highlighting10
Programming languages (14)
Github contributions (5)
llvm/llvm-project
May 2024 - Mar 2025
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:71 reviews, 19 PRs, 105 comments in 10 months
Contributions summary:Arseniy primarily contributes to the LLVM project's static analyzer, focusing on enhancing its capabilities. Their work involved fixing bugs related to source location in Clang, and improving the analyzer's accuracy in identifying potential memory leaks by handling various pointer-related scenarios, and detecting violations of the `returns_nonnull` attribute. Additional contributions include performance optimizations and improvements to the codebase to make it more robust.
compilerstechnologiesclangsubmittoolchain
200ok-ch/organice
Aug 2020 - Aug 2020
An implementation of Org mode without the dependency of Emacs - built for mobile and desktop browsers
Role in this project:QA Engineer / Test Automation Engineer
QA Engineer / Test Automation EngineerContributions:56 commits, 3 PRs, 6 comments in 12 days
Contributions summary:Arseniy's contributions center around enhancing the test suite for the organice project, primarily focusing on unit tests for the reducer functions. Their commits consistently introduce tests for various actions within the application's state management, increasing code coverage and ensuring the reliability of the Org mode implementation. These tests cover areas like checkbox states, todo states, property list manipulation, and UI interactions such as table cell updates, revealing a focus on thorough testing.
productivitybrowsersorg-modeemacsdesktop
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.