C. Aiswarya
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
- Highlights 2022: I serve on the PC.
- CONCUR 2022: I serve on the PC.
- FoSSaCS 2022: I serve on the PC.
Past Events
- CONCUR 2021: I served on the PC.
- STACS 2021: I served on the PC.
- WATA 2020/2021: I presented our work on Weighted Tiling Systems for Graphs: Evaluation Complexity. Joint work with Paul Gastin
Office: 603
Address: Chennai Mathematical InstituteH1, 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