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 2024: I serve on the PC.
- PODS 2024: Our paper on the Verification of Communicating Datalog Programs is accepted. Joint work with Diego Calvanese, Francesco Di Cosmo, and Marco Montali.
- STACS 2024: I will present our work on the Satisfiability of String Constraints. Joint work with Soumodev Mal and Prakash Saivasan.
Past Events
- FSTTCS 2023: I served on the PC.
- CONCUR 2023: I served on the PC.
- ACTS 2023: I was a co-organizer. Proudly celebrating the career of Paul Gastin.
- ICLA 2023: I served on the PC.
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