Hello | Oli otya 👋

🔭 I'm currently working on:

🔑 Cryptographic protocols and libraries

• 🚧 Wamu
  • 📖 A protocol and library for computation of threshold signatures by multiple decentralized identities.
  • 🌱 Funded by: the Ethereum Foundation (announcement).

⚒️ Tools for programming languages and program analysis

• 🚧 pallet-verifier
  • 📖 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).
• 🚀 ink! Analyzer
  • 📖 A collection of modular and reusable libraries and tools for semantic analysis of ink! smart contracts.
  • 🌱 Funded by: the Web3 Foundation (announcement).
• 🛟 Open-source contributions
  • I independently make contributions to rust-analyzer - a Rust compiler front-end for IDEs.
  • I independently make contributions to MIRAI - an abstract interpreter for the Rust compiler's mid-level intermediate representation (MIR).
  • I independently make contributions to ink! - a Rust DSL (Domain Specific Language) for writing smart contracts for Substrate-based blockchains.

🌱 Some of my independent open-source projects are funded by industry-leading organizations like the Ethereum Foundation and the Web3 Foundation.

⚡ I’ve previously worked as a technical lead on projects for:

• HubSpot, Telegraaf Media Groep (TMG), Pressboard, Permobil, ButterflyWorks, InboundLabs and many more companies and agencies - as a contractor
• Tunga and Grindery - as C.T.O (Chief Technology Officer)
• True African - as a Senior Software Engineer

🎓 I hold a BSc in Computer Science.