Institute of

Theoretical Computer Science


Technische Universität Braunschweig

Prakash Saivasan (PhD)

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

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.