Reiner Hüchting
Dipl.-Inf.
Email: huechting (at) cs (dot) uni-kl (dot) dePhone: +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.
Teaching
I have supervised the following courses at the Computer Science department at TU Kaiserslautern:- Concurrency Theory: SS 2014
- Bäume, Ordnungen und Anwendungen: WS 2013
- Applied Automata Theory: WS 2012
- Computer Algebra: SS 2010,2011
- Formal Specification and Verification Techniques: WS 2010,2011
- Logics: SS 2009-2012