HELLO WORLD! It's Ritam here! I am a joint PhD student(cotutelle) in Computer Science at University of Antwerp and University of Bordeaux. I work in the Formal Techniques in Software Engineering (FOTS) lab of AnSYMO research group, UAntwerp and the Formal methods team in LaBRI, Bordeaux. My thesis is supervised by Prof. Guillermo A. Perez and Prof. Nathanaël Fijalkow .


My research interest includes Verification of AI, Automata Theory and Games. I am currently working on One Counter Automata and decidability questions on them.


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