Experience

StableBattle

• Portugal
• Blockchain Services
• 1 - 100 Employee

• Blockchain Developer

  • Aug 2022 - Present

  Guided the process of blockchain integration for a team of web and Unity developers. Architected and developed an efficient and secure blockchain infrastructure for a big GameFi project. Researched and developed L2 integration for different parts of the project including StarkNet, zkSync. Era to optimize gas costs and integration with LayerZero to avoid liquidity duplication and token wrapping. Integrated novel techniques including advanced proxy structure (EIP2535 Diamond) and efficient hash-tree based NFT distribution. Show less



BR Capital

• Georgia
• Investment Management
• 1 - 100 Employee

• Researcher

  • Jul 2021 - Aug 2022

  Conducted research into verified Rust audit pipeline using λRust and ConCert for Cosmos ecosystem. Developed a proof-of-concept deductive verification technique in Coq for auditing Solidity smart-contracts that provides new level of robustness to the verified project. Provided a technical analysis of a couple of dozen web3 projects for a investment analysts team. Conducted research into verified Rust audit pipeline using λRust and ConCert for Cosmos ecosystem. Developed a proof-of-concept deductive verification technique in Coq for auditing Solidity smart-contracts that provides new level of robustness to the verified project. Provided a technical analysis of a couple of dozen web3 projects for a investment analysts team.



InfoTeCS JSC

• Russian Federation
• Computer and Network Security
• 200 - 300 Employee

• Researcher

  • Dec 2020 - Jul 2021

  Audited various projects in TON blockchain to increase adoption and robustness of the entire ecosystem. Researched Solidity verification automation techniques via model checking. Audited various projects in TON blockchain to increase adoption and robustness of the entire ecosystem. Researched Solidity verification automation techniques via model checking.



ISPRAS (Russian Academy of Sciences)

• Russian Federation
• Software Development
• 1 - 100 Employee

• Researcher

  • Aug 2019 - Jul 2021

  Contributed to the C language deductive verification project based on bounded E-matching. Verified various properties of a novel file-management paradigm in Isabelle/HOL. Contributed formal specification and verification of several Linux core functions via VerKer project. Optimized the work of SMT-solvers for the Rodin formal modeling tool. Contributed to the C language deductive verification project based on bounded E-matching. Verified various properties of a novel file-management paradigm in Isabelle/HOL. Contributed formal specification and verification of several Linux core functions via VerKer project. Optimized the work of SMT-solvers for the Rodin formal modeling tool.