I build production blockchain infrastructure at Informal Systems.

Currently, I am part of the team that develops Emerald, a modular framework for institutional blockchains using EVM on top of consensus engines like Malachite and Commonware Simplex. I previously developed Inter-Blockchain Communication in Rust and Cairo (Starknet). Even before that, I conducted security audits for Cosmos SDK, Tendermint, IBC, and CosmWasm smart contracts.

I also specialize in protocol engineering, automated testing, and security audits for distributed systems. My academic background includes automated formal testing of distributed databases, with 4 publications on this topic.

I hold a Ph.D. in Computer Science from Université Paris Cité (formerly Université de Paris), where I worked in the Modeling and verification team at IRIF under Prof. Constantin Enea. I defended my thesis on March 30, 2021.

My B.Sc. and M.Sc. in Computer Science are from Chennai Mathematical Institute.

For my detailed experience and career history, see my cv: ranadeep_cv.pdf.