I am a security researcher and engineer at Informal Systems.

Informal Systems is a blockchain research company and a core contributor to the Cosmos Network - The Internet of Blockchains.

Currently, I take care of quality and correctness assurance concerns of ibc-rs (Rust implementation of the Inter-Blockchain Communication protocol) team. In the past, I was part of model-based-testing and software auditing team at Informal.

Before Informal, I was a computer science PhD student at Université de Paris (currently, Unversité Paris Cité). 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.

I specialize in automated testing of distributed systems. My PhD work was mainly focused on different isolation levels of distributed databases. I published 3 papers about efficient testing of distributed transactional databases like Galera, CockroachDB and datastorages like AntidoteDB.

My B.Sc. in Mathematics and Computer Science and M.Sc. in Computer Science were from Chennai Mathematical Institute.

My curriculum vitae.

Informal Systems is hiring.