Bhargav Bhatt
Security researcher at Web3 Foundation, where Bhatt analyzes the security of cross-chain bridges and light clients and builds security tooling for the Polkadot SDK. Earlier research at ETH Zurich, USI Lugano and Microsoft Research covered model checking, runtime verification and static analysis.