Ranadeep Biswas
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolRanadeep Biswas is a security engineer and system architecture researcher with 10 years’ experience, currently leading technical efforts at Informal Systems on model-based testing for the Cosmos-SDK and IBC stack. A PhD in computer science from Université de Paris, he blends deep research pedigree with hands-on engineering in Rust, Go, Python and Bash to harden distributed systems and blockchains. As team technical lead he designs automated testing and formal verification tooling that bridges academic rigor and production needs. Based in Paris, he has a track record of turning formal methods into practical test frameworks for the Cosmos ecosystem and is known for applying protocol-aware security thinking to blockchain interoperability.
10 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Université Paris CitéMaster's degree Computer Science, Master's degree Computer Science at Chennai Mathematical Institute
English, Hindi, Bengali, French
Github Skills (200)
peer-to-peer10
testing10
cosmos10
cryptocurrency10
specification10
deno-module10
model-based-testing10
deno10
javascript10
gleam10
golang10
rust10
logic10
tlaplus10
zeroconf10
Programming languages (25)
Github contributions (5)
informalsystems/cosmwasm-ibc
Sep 2024 - Aug 2025
Facilities for implementing ibc-rs-powered light clients and applications as CosmWasm contracts.
Contributions:11 reviews, 5 PRs, 32 pushes in 10 months
cosmwasm
rnbguy/cosmos-rust
Feb 2022 - Nov 2024
The home of all shared Rust resources for the Cosmos ecosystem.
Contributions:2 PRs, 53 pushes, 3 branches in 2 years 9 months
rustcosmosecosystem
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.