Skip to main content

Bhargav Nagaraja Bhatt

bhargav@web3.foundation

Bio: I am researcher focussing on security at the Web3 Foundation. I am also the maintainer of the Polkadot Protocol Specifications. I have an research background in Formal Verification and previously worked at ETH Zurich, USI Lugano, Microsoft Research, working on topics like Model Checking, Runtime Verification and Static Analysis. At W3F, i have worked on security analysis of Cross-chain Bridges and Light-Clients, and also on tooling for security and reliability of the Polkadot SDK.

Research Areas

  • Protocol Security Analysis
  • Formal Verification and Static Analysis
  • Security Tooling

Links to selected paper and talks