Prakash Saivasan

Prakash Saivasan

Theoretical Computer Science
2254 3210
prakashs @ imsc . res . in
210 New Building
Research Interests: 

Automata theory, Logic, Concurrency, Formal verification.

Career History: 
  1. Fellow-E, IMSc [Jan 2020 -

  2. Postdoctoral Researcher, TU Braunschweig [Nov 2016 - Dec 2019]

  3. Postdoctoral Researcher, TU Kaiserslautern [Apr 2016 - Oct 2016]

  4. Ph.D, Chennai Mathematical Institute [Aug 2011 - Mar 2016]

Courses Taught: 
  • Mathematical Logic - 2021
  • Infinite State Verification - 2021
  • Theory of Computation - 2020
  • ​Algorithmic Automata theory - 2019, 2018, 2017
  • Concurrency Theory - 2019, 2017
  • Complexity Theory - 2017
Selected publications: