Dmitry Ivanov
Senior System Software Research Engineer at Huawei
Munich, Bavaria, Germany
Summary
👤
Senior🎓
Top SchoolDmitry Ivanov is a Senior System Software Research Engineer based in Munich with eight years of experience applying formal methods, static analysis, and type theory to improve software reliability and application security. He transitioned from academic research and teaching in functional programming, compiler construction, and model checking at Hamburg University of Technology to industry roles building practical security tooling, including data-flow analysis integrated into ProGuardCORE for mobile app testing. At Guardsquare he designed configurable program-analysis-based scanners, and now drives system-software research at Huawei, blending deep theoretical background with hands-on engineering. His academic record (MS, Information and Communication Systems; BS in Applied Mathematics from MSU) and near-perfect GPAs reflect a strong mathematical foundation that informs pragmatic security solutions. An understated strength is his ability to translate formal techniques into production-ready analyses and developer-facing tools.
8 years of coding experience
5 years of employment as a software developer
Master of Science - MS, Information and Communication Systems, GPA 3.9 / 4.0, Master of Science - MS, Information and Communication Systems, GPA 3.9 / 4.0 at Hamburg University of TechnologyLomonosov Moscow State University
Russian, English, German
Github Skills (39)
kotlin10
jvm-bytecode10
parser10
read-write10
network-analysis10
abstract-syntax-tree10
java-bytecode10
java10
mobile-application10
code-analysis10
bytecode10
android-application10
static-analysis9
verification9
hacking9
Programming languages (6)
Github contributions (5)
DIvanov503/Dat3M
Jul 2024 - Aug 2024
Contributions:28 pushes, 5 branches in 1 month
open-s4c/benchamel
Mar 2025 - Mar 2025
A curated collection of concurrency bugs
Contributions:4 reviews, 9 PRs, 11 pushes in 19 days
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.