Summary
Georgiy Komarov is a founding engineer with nine years of deep systems and compiler experience, now focused on Web3 language design, smart contract tooling, and emerging ZK-proof and formal verification techniques. He brings production compiler, static analysis, and type-inference expertise from roles at Parity, Zilliqa, Huawei, and industrial embedded-systems projects, and is fluent in Rust and OCaml. His work on safe smart-contract languages (Scilla) and security tooling reflects a strong security-first mindset applied to blockchain languages. Based in Dubai, he combines research-oriented rigor from a MEPhI computer science background with hands-on product delivery at both startups and large engineering organizations. An uncommon strength is his cross-domain fluency—compiler internals to DevOps and mobile/web interests—enabling him to bridge low-level correctness with developer-facing tooling.
9 years of coding experience
9 years of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at National Research Nuclear University MEPhI (Moscow Engineering Physics Institute)
English, Russian, Spanish