Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Reiner Hüchting

Dipl.-Inf.

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.

Publications

Teaching

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