๐ญ 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.
โ๏ธ 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.
-
๐ ink! Analyzer
- ๐ A collection of modular and reusable libraries and tools for semantic analysis of ink! smart contracts.
- ๐ฑ Funded by: the Web3 Foundation.
- I independently make contributions to rust-analyzer - A Rust compiler front-end for IDEs.
โก I hold a BSc in Computer Science.