Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

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.

Publications