- Ph.D. of Philosophy (Kharkiv National University of V.N. Karazin)
- Mathematician (Specialist in Applied Mathematics - Systems control of Spacecrafts and satellites)
- Researcher
- Programmer (Software Engineer)
- Blockchain specialist
More than 20 years of professional development experience. My favorite languages: Rust, F#, Go, Haskell etc.
My favorite areas: RISC-V (CPU creation), LLVM (compileres design and implementation), FPGA (hardware design), Blockchain (Ethereum, NEAR Protocol).
- mrLSD/swift-evm - Swift EVM implementation in Swift programming language.
- mrLSD/riscv-fs - F# RISC-V Instruction Set formal specification.
- mrLSD/iLang - programming language and compiler from scratch with LLVM backend. My fun project. Work in progress.
- mrLSD/semantic-analyzer-rs Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages, with code generation for any backend. Most useful for creation compilers of programming languages.
- mrLSD/llvm-lib-rs LLVM library wrapper for LLVM-C API written in Rust with safety in mind.
Ethereum EVM contribution
- Swift EVM - (my own project) EVM implementation in Swift programming language. Also, available as a Swift package.
- Aurora EVM - Lead developer
- Rust EVM (SputnikVM)
- REVM
- Aurora Launchpad Dafny formal verification - Formal specification and verification and verification of Aurora Launchpad smart contracts in Dafny.
- Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny - the article on arXiv.org about formal research of formal verification of Aurora Launchpad smart contracts in Dafny.
- Aurora - Aurora Core developer
- SputnikVM - Aurora EVM for Arora Engine
- Aurora Engine - Aurora Engine implements an Ethereum Virtual Machine (EVM) on the NEAR Protocol.
▶️ Aurora Launchpad - Aurora Launchpad smart contracts.▶️ Aurora Engine - Aurora Engine implements an Ethereum Virtual Machine (EVM) on the NEAR Protocol.▶️ Aurora Eth Connector contract - Aurora Eth Connector implements NEP-141 fungible tokens for Aurora Engine accessible via NEAR cross-contract calls.▶️ Aurora Workspace - Aurora Workspace is a library for the Aurora Engine and Aurora Eth Connector and EVM contracts based on NEAR Protocol.▶️ Aurora Engine migration tool - Parser, Indexer, Migration tools set for Aurora Engine.▶️ Eth Connector - NEAR Protocol Eth Connector.▶️ Aurora DAO UI - Aurora DAO frontend.▶️ NEAR releases repository - NEAR contract manager for single point of any NEAR contract release store and management.▶️ iLang - programming language from scratch based on LLVM.▶️ semantic-analyzer-rs - Semantic analyzer library for creating compilers for programming languages.▶️ RISC-V formal spec - F# RISC-V CPU Instruction Set formal specification▶️ FPGA - FPGA Research & Development project
- FPGA - FPGA Research & Development project
- Tang Nano 20k - Sipeed Tang Nano 20k FPGA devboard project
- go-benchmark-app - my application part of awesome Go.
- riscv-fs - my library part of awesome F#.