I am a PhD student at Dept. of Information Technology of Uppsala University. My supervisors are Bengt Jonsson and Mohamed Faouzi Atig. I did master degree in Computer Science from Chennai Mathematical Institute, Chennai, India. My master thesis was Invariant generation for recursive C programs, supervised by Mandayam Srivas. I received bachelor degree from Ramakrishna Mission Vidyamandira, Belur, India. My Bachelor thesis was on developing Sanskrit OCR technique.