Comprehend complex financial systems written in Solidity code. Mathematically formalize interesting properties of DeFi and deploy Certora’s tool for automatic exact formal verification, analyze outputs of the tool to identify high severity vulnerabilities. Write public reports describing the verified properties.

Working on Web3, DeFi and blockchain analytics projects.

Developing company's flagship product on top of the Bitcoin blockchain.Typescript/Node.js/BitcoinJS/React

Connecting an innovative hybrid payment system to the Ethereum blockchain.Stack: Node.js(Loopback) + React + Ethereum

PAKET Protocol isa blockchain-powered decentralized delivery platform. The PAKET platform allows anyone from anywhere in the world to ship items quickly and optimally using the trustless nature afforded by the blockchain and smart contract technologies.

SaferVPN is a leading cybersecurity SaaS company, specializing in Virtual Private Network and Software Defined Perimeter technology.Unlike traditional corporate VPNs, our service is highly scalable, easy-to-setup and fully cost-effective. We eliminate the need for manual configuration, hardware installation and help desk support with a 100% cloud-based solution, complete management portal and single-click cross platform apps for every device.

Created from scratch and managed the affiliate program for company’s bestselling digital products (subscription software). The program has increased company’s revenues and website traffic by 40%.Created a Wordpress website for company’s affiliates with tutorials and product updates.Recruited and maintained relationships with the best affiliates in our niche: content websites, media websites, PPC affiliates and coupon websites. Closed deals with affiliates from all over the world: Latin America, Europe, Russia, China, etc. Created and wrote content for the monthly affiliate newsletter. Used Google Analytics to optimize landing pages for the affiliate traffic.Introduced tools like HotJar (conversion optimization), PostAffiliate Pro (affiliate program management), MailChimp (affiliate newsletter).

- Technical support for the sales operation.- Product demonstration to major telecom providers.- On-site integration at clients' sites.- Post-sale support.

C++ developer for a networking product.

- Pre-sale support and demo features developing for a secure authentication product.- Training resellers.

C++ developer.