David Semakula

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.

• 🚀 ink! Analyzer

  • 📖 A collection of modular and reusable libraries and tools for semantic analysis of ink! smart contracts.
  • 🌱 Funded by: the Web3 Foundation (announcement).
• I independently make contributions to rust-analyzer - A Rust compiler front-end for IDEs.

🌱 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.