Description: Homepage for Ranadeep (or Rano or rnbguy).
PhD Defense Publications I am a research-engineer at Informal Systems as part of model-based-testing team.
Informal Systems is a blockchain research company. It is a core contributor to the Cosmos Network - The Internet of Blockchains .
Before Informal, I was a computer science PhD student at Universite de Paris. I worked in Modeling and verification team in IRIF , a research laboratory of the same university and CNRS . My thesis was supervised by Prof. Constantin Enea . I successfully defended my PhD thesis on March 30, 2021 .