Hello | Oli otya 👋

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.