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
- ICLA 2025: I serve on the PC (co-chair).
- FSTTCS 2024: I serve on the PC.
- DLT 2024: Our paper on Deciding Conjugacy of a Rational Relation is accepted. Joint work with Amaldev Manuel, and Saina Sunny.
- ICALP 2024: Our paper on Edit Distance of Finite State Transducers is accepted. Joint work with Amaldev Manuel, and Saina Sunny.
- Highlights 2024: I serve on the PC.
Past Events
- 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 presented our work on the Satisfiability of String Constraints. Joint work with Soumodev Mal and Prakash Saivasan.
- 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