Yuri Gribov
Principal Engineer at Huawei
Russia
Summary
🤩
Rockstar🎓
Top SchoolYuri Gribov is a Principal Engineer with over a decade of deep systems and applied-math experience, currently researching LLVM and AI compiler performance at Huawei. He combines low-level system programming (C/C++, assembler) with compiler design, static/dynamic analysis and HPC, having led toolchain and analysis teams at Samsung, CEVA and NVIDIA. Yuri’s background spans compiler backends, codegen, model checking and mathematical software (Matlab/Maple), and he has a track record of porting and benchmarking parallel languages and runtimes across architectures. A long-time open-source advocate, he maintains and fixes toolchains (Binutils, GCC, QEMU, GDB) and mentors contractors and teams in complex bring-ups. Notably, he bridges hardware and software work—from Verilog and HW verification to ISA symbolic evaluation—making him adept at co-design and performance-oriented tooling. He prefers challenging compiler and math problems and explicitly avoids finance/HFT, reflecting a principled focus on technical depth over profit-driven domains.
12 years of coding experience
17 years of employment as a software developer
MoS, Applied Maths, MoS, Applied Maths at MIEM (Moscow Institute of Electronics and Mathematics)
German, English
Stackoverflow
20,843reputation
1.1mreached
560answers
6questions
compiler-optimization
top-5%
llvm
top-5%
gcc
top-1%
elf
top-5%
compilation
top-1%
linker
top-5%
Github Skills (174)
archiving10
cpio10
python10
windows10
objdump10
lzma10
gcc10
abi10
c9910
backup10
thread-sanitizer10
libarchive10
linter10
xar10
cpp10
Programming languages (11)
Github contributions (5)
yugr/parmatch
Oct 2016 - Oct 2016
Contributions:25 commits, 10 pushes, 1 branch in 14 days
yugr/sortcheck
Dec 2015 - Jul 2022
Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
Contributions:213 commits, 186 pushes, 2 branches in 6 years 8 months
callbackqsortdynamic-analysisruntime-verificationprogram-analysis
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.