Bhargav Bhatt

Member of the research team with a focus on ensuring Polkadot's security and reliability. Leading the project on designing trustless and efficient bridge between Polkadot and Ethereum (Snowbridge). Coordinated several security audits with external auditors and also involved in in-house security tooling (fuzzers) for Rust-based dApps. Maintain the official protocol specifications.

Providing research expertise in integrating fuzzing techniques in LLM based Security Audit Platform. Competition research and review of technical architecture for detecting DeFi vulnerabilities.

Developed formal verification tools and techniques for detecting resource-leak bugs in Android apps. Also involved in projects on model-checking and runtime verification of high-velocity data-streams.