Prakash Saivasan

Prakash Saivasan

Fellow
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: 
  1. Algorithmic Automata theory - 2019, 2018, 2017

  2. Concurrency Theory - 2019, 2017

  3. Complexity Theory - 2017