Hello | Oli otya 👋
I write software, and design & analyze computational systems.
I'm currently working on:
Program analysis, compilers and programming languages
-
🚧 pallet-verifier (creator): a tool for detecting common security vulnerabilities and insecure patterns in FRAME pallets using static program analysis techniques like data-flow analysis, abstract interpretation and symbolic execution. (Funded by the Web3 Foundation - announcement).
-
rust-analyzer (independent contributor): a Rust compiler front-end for IDEs.
-
MIRAI (independent contributor): an abstract interpreter for the Rust compiler's mid-level intermediate representation (MIR).
Cryptographic protocols and libraries
- 🚧 wamu (creator): a protocol and library for computation of threshold signatures by multiple cryptographic identities. (Funded by the Ethereum Foundation - announcement).
I'm previously worked on/contributed to:
- ink! analyzer (creator): a collection of modular and reusable libraries and tools for semantic analysis of ink! smart contracts. (Funded by the Web3 Foundation - announcement).
- tangle-network/cggmp-threshold-ecdsa (independent contributor): an implementation of the CGGMP21 threshold ECDSA protocol.
- ink! (contributor): a Rust DSL (Domain Specific Language) for writing smart contracts for Substrate-based blockchains.
- cargo-contract (contributor): a build and deployment tool for ink! smart contracts.
⚡ Some of my independent open-source projects are funded by industry-leading organizations like the Ethereum Foundation and the Web3 Foundation.
🎓 I hold a B.Sc. in Computer Science.