Prakash Saivasan
Assistant Professor · Automata theory
Max Planck Institute for Software SystemsGermany
About
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)
0Publications listed
Find Prakash Saivasan elsewhere
Related Searches
You Might Also Like
Aiswarya CyriacInria · Associate Professor- SSlawek LasotaMax Planck Institute for Software Systems · Professor
K Narayan KumarMax Planck Institute for Software Systems · Professor- CChristof LödingMax Planck Institute for Software Systems · Adjunct Professor
- SSlawek LasotaUniversity of Warsaw · Professor
R. RamanujamSingapore Management University · Professor