I am a postdoc in the Algorithmic Verification group at the
Department of Information Technology at
Uppsala University, where I work with
Parosh Abdulla and
Mohamed Faouzi Atig.
My research is in formal methods, where, in particular, I am interested in automata theory, logic, and automated synthesis, and its application in the formal verification.
Before this, I was a post-doctoral research fellow with
Krishna S and
S Akshay at
IIT Bombay.
Prior to that, I was a Ph.D. student at both
LaBRI,
Université de Bordeaux
and
Chennai
Mathematical Institute (CMI).
My advisors were
Igor Walukiewicz and
Frédéric Herbreteau at LaBRI and
B
Srivathsan at CMI.
Before that, I was a master’s student at Chennai Mathematical
Institute.
Even before that, I obtained the degree of B. Tech. in
Computer Science and Engineering from
National Institute of Technology, Calicut.