Institute of

Theoretical Computer Science


Technische Universität Braunschweig

Reiner Hüchting


Email: huechting (at) cs (dot) uni-kl (dot) de
Phone: +49 (0)631 205 30 51
Fax: +49 (0)631 205 34 20
Mail: TU Kaiserslautern, Fachbereich Informatik, AG Concurrency Theory, Postfach 3049, D-67653 Kaiserslautern, Germany.
Office: Building 34, 4th floor, office 426, Gottlieb-Daimler Straße, D-67663 Kaiserslautern, map.

I am a PhD student in the Concurrency Theory team at the University of Kaiserslautern. I studied Computer Science at the University of Kaiserslautern. My research interests include foundational aspects of concurrent systems, in particular the impact of reconfiguration on decidability and complexity of verification problems.



I have supervised the following courses at the Computer Science department at TU Kaiserslautern: