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
• more
FSTTCS 2020: I presented our work on Weighted Tiling Systems for Graphs: Evaluation Complexity. Joint work with Paul Gastin
Reachability Problems 2020: I served on the PC.
Higlights of Logic, Games and Automata 2020: I served on the PC.
FORMATS 2020: I served on the PC.
NETYS 2020: I was an invited speaker.
GALA 2019: I was an organizer, along with Benedikt Bollig and S. Akshay.
FSTTCS 2019: I served on the PC.
NETYS 2019: I served on the PC.
LICS 2019: I served on the PC.
PODS 2019: I presented our work on database driven systems with order constraints. Joint work with P.A. Abdulla, M. F. Atig, and M. Montali.
Formal Methods Update Meeting 2019: I gave a talk.
CAALM 2019: I was an invited speaker.