Ranadeep Biswas
Security Engineer at Informal Systems
Paris, Ile-de-France
Summary
👤
Senior🎓
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
Doctor of Philosophy - PhD, Computer Science, 3, Doctor of Philosophy - PhD, Computer Science, 3 at Université de ParisBachelor's degree, Mathematics and Computer Science, Bachelor's degree, Mathematics and Computer Science at Chennai Mathematical Institute
English, Hindi, Bengali, French
Github Skills (200)
cosmos10
cryptocurrency10
specification10
deno-module10
cairo10
model-based-testing10
deno10
gleam10
verification10
preact10
rfc10
tla10
peer-discovery10
javascript10
rust10
Programming languages (23)
Github contributions (5)
informalsystems/ibc-starknet
Sep 2024 - Apr 2025
Integration of IBC with Starknet
Contributions:235 reviews, 84 PRs, 449 pushes in 6 months
cosmosibcruststarknettendermint
informalsystems/atomkraft
May 2022 - Nov 2022
Advanced fuzzing via Model Based Testing for Cosmos blockchains
Contributions:88 reviews, 181 commits, 89 PRs in 5 months
model-basedmodel-based-testingtestingblockchainfuzzing
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.