I build production blockchain infrastructure at Informal Systems, a core contributor to the Cosmos Network - The Internet of Blockchains.

Currently, I develop 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 Cairo (Starknet) and Rust. 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 research background includes automated formal testing of distributed databases, with 3 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.