I am a computer science PhD student at Universite de Paris. I work in Modeling and verification team in IRIF, a research laboratory of the same university and CNRS. My thesis is supervised by Prof. Constantin Enea.

I specialize in automated verification of distributed system. My work is mainly focused on different isolation levels of distributed databases. I published 2 papers about verification of distributed transactional databases like Galera, CockroachDB and datastorages like AntidoteDB.

I finished my BSc in Mathematics and Computer Science and MSc in Computer Science from Chennai Mathematical Institute.

I successfully defended my PhD thesis on March 30, 2021.

Currently, I am working full-time as a research engineer at Informal Systems.

My curriculum vitae.

PS. Informal is hiring.