Associate Professor
Theoretical Computer Science Group
Chennai Mathematical Institute

Member, ReLaX
(an international research lab of CNRS, France)

Research Interests: I am interested in automata theory, and its applications in the verification of infinite state systems. I am also interested in formal mathematical models of concurrent and infinite state systems.

Upcoming Events

Past Events

NoPhoto

Office: 603

Address: Chennai Mathematical Institute
H1, SIPCOT IT Park
Siruseri
Chennai 603103

email:a i s w a r y a AT cmi DOT ac DOT in

office phone+91 44 7196 1072