WICHTIG: Veränderte Prüfungstermine!
- Theoretische Informatik 2 am 02. August von 10:30 Uhr bis 12:30 Uhr in ZI 24.1,2
- Einführung in die Logik am 09. August von 11:30 Uhr bis 13:30 Uhr in ZI 24.1,2
- Theoretische Informatik 1 am 29. September von 08:00 Uhr bis 11:00 Uhr in SN 19.1
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.