Prakash Saivasan

Prakash Saivasan is an Assistant Professor at the Institute of Mathematical Sciences (IMSc) in Chennai since 2020. His research focuses on foundational aspects of theoretical computer science.

• Education: Ph.D. from Chennai Mathematical Institute (2016)

Research Interests:

• Automata theory
• Logic
• Concurrency
• Formal verification

Courses Taught (2017–2022):

• Mathematical Logic (2021, 2022)
• Infinite State Verification (2021, 2022)
• Theory of Computation (2020)
• Algorithmic Automata theory (2017–2019)
• Concurrency Theory (2017, 2019)
• Complexity Theory (2017)