Curriculum Vitae
Experience
DeFi protocol engineer who works top to bottom — deriving the mechanism math, writing the smart contracts, and building the C# and Rust services that run them in production. Top contributor to an audited leveraged-trading protocol (Marginly) and lead author of a multi-asset vault protocol (Levva), both shipped to mainnet — with further work spanning EVM, Solana, Substrate, and Stellar. On the side, I've been learning zero-knowledge proof systems by building them from scratch and writing them up on my blog.
Experience
Protocol & Smart Contract Engineer
2022 — PresentEQ LAB · Remote
- Designed and derived Marginly's deleverage-coefficient model — a linear-algebra reduction that turns pool-wide deleveraging into an O(1) coefficient update and keeps positions liquidatable even when one side's collateral is fully borrowed out. Marginly (EQ LAB's first EVM protocol) was audited by Quantstamp and shipped to mainnet; I was its top contributor (~260 commits) on the core leveraged-trading contracts and DEX adapters.
- Lead author (~60% of commits) of Levva Vaults v2 — an upgradeable ERC-4626 multi-asset vault on EVM (factory, vault, NFT withdrawal queue, 15+ DeFi-protocol adapters), audited and live in production.
- Built the C# backend APIs and services behind the Levva vaults, and a Rust MILP solver that computes cross-protocol liquidity allocation in production — a min-cost-flow formulation that replaced a per-asset heuristic, solving each rebalance in one pass (consistent by construction) instead of fragmenting it into a tail of small transactions.
- Shipped vault contracts across EVM, Solana, Aptos, and Sui for Enjoyoors, plus reward and airdrop distribution systems.
- Started on a Substrate-based Polkadot parachain (Equilibrium), cutting my teeth on on-chain finance, web3, and rigorous testing.
Research Intern
2018 — 2021Kintech Lab · Moscow
- Worked on multilayer SLM (selective laser melting) simulations as part of my diploma research, contributing to the FaSTLaB, the KiSSAM predecessor, modeling effort.
- Built Bash automation that chained Yade (powder-layer generation) and FaSTLaB (melting simulation) into repeatable, looped multilayer simulation runs.
Capabilities
Languages
Rust, C#, Solidity, TypeScript
Chains
EVM, Solana, Substrate / Polkadot, Stellar / Soroban, Aptos, Sui
Smart contracts
ERC-4626 / 20 / 721, Upgradeable proxies, DeFi protocol integration, Audit remediation, MEV / slippage design
Backend & Services
C# APIs & services, EVM event handlers, Transaction relaying, SDKs
Applied math & modeling
Linear algebra & fixed-point math, MILP / optimization (Rust), Mechanism design, DeFi protocol design
Cryptography
Merkle trees & proofs, EIP-712 signatures, Zero-knowledge proofs (from-scratch)
Selected writing
Deleverage coefficients: the math behind Marginly
Deriving an O(1) pool-wide deleverage with a little linear algebra.
From heuristics to MILP: rebuilding the Levva liquidity balancer
Modeling vault rebalancing as a min-cost flow and handing it to a solver.
Socializing bad debt across many tokens
When the tidy 2×2 coefficient stretches into a 2K×2K one — and still works.
Education
M.Sc. Applied Mathematics & Physics
MIPT — Molecular & Chemical Physics (ФМХФ)
B.Sc. Applied Mathematics & Physics
MIPT — Molecular & Chemical Physics (ФМХФ)