Mark Korondi
Bazel C Consultant at Advantest
Zurich, Zurich, Switzerland
Summary
👤
Senior🎓
Top SchoolMark Korondi is a pragmatic generalist software and platform engineer with 11 years of experience specializing in Bazel and large C++ codebases to dramatically speed up builds and CI/CD workflows. Based in Zurich, he blends deep Linux and compiler-toolchain knowledge with cloud, containers, and Kubernetes/OpenShift expertise to deliver hermetic, remote-executable build environments and fast developer workflows. His work has measurably reduced IDE startup times and costly operational overhead—saving millions at enterprise clients—while standardizing containerized dev environments, monorepo linting, and CI automation. Comfortable across Python, Ansible, and OpenStack/Ceph stacks, he moves between hands-on refactors and high-level automation/identity design, and often acts as the bridge between engineering teams and management. An underappreciated strength is his focus on developer experience: small UX and tooling improvements he introduces routinely unlock orders-of-magnitude productivity gains for large engineering groups.
11 years of coding experience
15 years of employment as a software developer
Master of Science (MSc) Information Technology, Master of Science (MSc) Information Technology at Pannon Egyetem - University of PannoniaPetőfi Sándor Evangélikus Gimnázium
Spanish, English, German, Hungarian
Stackoverflow
11reputation
251reached
2answers
0questions
Github Skills (183)
powerline10
autocomplete10
bash10
language-server-protocol10
vim-plugin10
vim10
linter10
rake10
linting10
refactoring10
async10
prompt-tuning10
prompt10
cli10
prompt-toolkit10
Programming languages (13)
Github contributions (5)
kmARC/vim
Aug 2015 - May 2020
Contributions:1 PR, 61 pushes, 3 branches in 4 years 9 months
dotfilesneovimvimvim-configuration
kmARC/dotfiles
Sep 2014 - Jan 2023
Contributions:421 commits, 284 pushes, 4 branches in 8 years 5 months
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.