Andrey Kuprianov
Independent Security & Formal Methods Researcher at Self-employed
Vienna, Austria
Summary
🤩
Rockstar🎓
Top SchoolAndrey Kuprianov is an independent security and formal methods researcher based in Vienna with six years of focused industry experience and a long academic foundation culminating in a PhD in computer science. He specializes in blockchain security, formal verification, and model-based testing, combining tool-building and hands-on audits to harden distributed and safety-critical systems. At Informal Systems he led model-based testing efforts and conducted high-profile blockchain audits, and his open-source work includes substantive contributions to the widely used tendermint-rs Rust client libraries, adding test generation, fuzzing, and validator-deserialization improvements. Comfortable bridging research and engineering, he translates formal models into practical verification tooling and security architecture guidance. Notably, his background spans embedded and kernel-level security to scalable program analyses, giving him a rare breadth across low-level systems and high-assurance distributed protocols.
6 years of coding experience
22 years of employment as a software developer
Master of Science - MS, Computational and Applied Mathematics, Master of Science - MS, Computational and Applied Mathematics at Moscow Institute of Physics and Technology (State University) (MIPT)Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Universität des SaarlandesLomonosov Moscow State University
Github Skills (7)
tendermint10
comet10
rust10
test-automation10
serde9
unit-testing8
json7
Programming languages (11)
Github contributions (5)
informalsystems/tendermint-rs
Jun 2020 - Nov 2020
Client libraries for Tendermint/CometBFT in Rust!
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:67 reviews, 124 commits, 31 PRs in 4 months
Contributions summary:Andrey primarily contributed to the development and testing of the `tendermint-rs` client libraries in Rust. Their work involved implementing features such as sorting validators during deserialization, as well as generating Tendermint types for unit, integration, and model-based testing. They also refactored and improved the test generation and testing utilities, including the addition of fuzzers and improvements to the test environment.
ethereumrustblockchaintendermintcometbft
informalsystems/jsonatr
Jun 2020 - Jan 2021
JSON Artifact Translator
Contributions:3 reviews, 76 commits, 2 PRs in 7 months
translatorjsonartifact
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.