Prakash Saivasan (PhD)
| Email: | p.saivasan@tu-bs.de |
| Phone: | +49 (0)531 391 9527 |
| Office: | IZ 344, i.e. Informatikzentrum, 3rd floor, office 344, |
| Mühlenpfordtstr. 23, D-38106 Braunschweig | |
| Mail: | Prakash Saivasan |
| Institut für Theoretische Informatik | |
| Mühlenpfordtstr. 23 | |
| D-38106 Braunschweig | |
| Germany |
I am currently a postdoctoral researcher under Prof Roland Meyer, in the Institute of Theoretical Computer Science, TU Braunschweig. Before, I completed my PhD from Chennai Mathematical Institute, under the supervision of Prof K. Narayan Kumar. My research interest include Automata theory, Complexity theory, Logic and Verification of concurrent and distributed systems.