Bhargav N Bhatt

Senior Protocol Engineer

Morpho

I design, develop and formally verify DeFi protocols at Morpho. Check out some of our active projects: Midnight, a fixed-term lending protocol, and Vault-V2, Morpho's modular and non-custodial vault.

Previously, as a Blockchain Researcher at the Web3 Foundation, I worked on interoperability, censorship resistance and DAO governance in Polkadot.

My academic background is in formal methods, with research positions at ETH Zurich, the Software Institute, USI Lugano and Microsoft Research India. I obtained my integrated BS-MS in Mathematics and Computing from IIT Kanpur.

Interests

Formal Verification and Security Tooling
DeFi & Lending Protocols
Protocol Design and Security Analysis
Cross-chain Interoperability
Distributed Systems and Applied Cryptography

Publications

Daniel O. Dirdal, Leander Jehl, Bhargav Nagaraja Bhatt, Hein Meling, Nejm Saadallah. Formal Modeling of Beefy, a Protocol for Supporting Light Clients. In Formal Techniques for Distributed Objects, Components, and Systems (FORTE), 2026.

DOI

Bhargav Nagaraja Bhatt, Paul Frambot, Quentin Garchery, Mathis Gontier Delaunay, Adrien Husson, Paul-Adrien Nicole, Adrien Laversanne-Finot, Matthieu Lesbre. Morpho Midnight Whitepaper. Morpho Association, 2026.

PDF Code

Bhargav Nagaraja Bhatt, Fatemeh Shirazi, Alistair Stewart. Trustless Bridges via Random Sampling Light Clients. In Advances in Financial Technologies (AFT), 2025.

PDF ePrint DOI

Bhargav Nagaraja Bhatt, Carlo A. Furia. Automated Repair of Resource Leaks in Android Applications. Journal: Journal of Systems and Software (JSS), 2022.

arXiv DOI

David Basin, Bhargav Nagaraja Bhatt, Srđan Krstić, Dmitriy Traytel. Almost Event-Rate Independent Monitoring. Journal: Formal Methods in System Design (FMSD), 2019.

Code DOI

David Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel. Optimal Proofs for Linear Temporal Logic on Lasso Words. In Automated Technology for Verification and Analysis (ATVA), [Distinguished Paper Award] , 2018.

PDF Code Slides DOI

Andreas Lochbihler, S Reza Sefidgar, Bhargav Nagaraja Bhatt. Game-based cryptography in HOL. In Archive of Formal Proofs, 2017.

Source Document

David Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel. Almost Event-Rate Independent Monitoring of Metric Temporal Logic. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2017.

PDF Code Slides DOI

Talks

Trustless Bridges via Random Sampling Light Clients at Advances in Financial Technologies (AFT), 2025.

Censorship Resistance on Rollups at Web3 Summit, 2025.

Dynamic Quorum based Referendums for DAOs at SBC DAO Workshop, 2025.

Experience Report: Formally Verifying Critical Blockchain Network Component at ETAPS Industry Day, 2024.

Formal Verification and Tooling panel at DeFi Security Summit, 2023.

Formal Methods for Rust at Polkadot Blockchain Academy, Berkeley, 2023.