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.