Interests and expertise

Rigorous testing has become a part and parcel of any software production line. But it can only get us so far. Complementing testing with tools and techniques based on formal methods and program analysis has a large value especially when the code organically grows and becomes huge. I passionately follow the line of formal verification and program analysis in knowing and realising the robustness of softwares to all possible threats.

Pushing more scientific thinking into a program language always helps in pushing the dev community by leaps. The guarantees become immediate at compile time (with smart IDEs just at the time of programming!). Rust, Golang, Functional programming are testimonies of this, and more recently Movelang for blockchains. We at Supra want to drive and mentor infrastructure devs as well as dapp-level devs towards greater abstraction and ease and simplicity all along being secure and performant.

Distributed protocols are the bedrock of modern software systems. Building highly efficient and securing these fundamental designs are of paramount importance and is becoming more and more a necessity. We at Supra treat all distributed protocols from an original perspective and contribute core insights so that the whole industry and community is benefited.

Commentary

Our CEO Joshua Tobkin has instilled “research first” mindset deeply in the organisation. Through his initiatives, visionary thinking, and core insights he has oriented research team towards marrying deep insights with practical utility. We have invented a high throughput, low latency, scalable family of consensus protocols which will power the Supra's positioning as IntraLayer.

We have carefully thought out the dynamics of highly secure Bridge Protocol from a more practical Rational model and carefully crafted a family of Bridge protocols and rigorously analysed them using game theoretic techniques.

Selected research publications