Technische Universität München
  Chair IV, Prof. Dr. Dr. h.c. Manfred Broy
  Software & Systems Engineering

Technische Universität München
Institut für Informatik
Boltzmannstr. 3
85748 Garching
Germany

Phone   +49(89) 289 - 17384
Fax    +49(89) 289 - 17307
Email   leuxner in.tum.de
Room   MI 00.11.057

Christian Leuxner
Dipl. Inf. Univ.

Research Interests
 ♦  specification and verification of reactive software systems
 ♦  formal methods and description techniques
 ♦  scenario-based design and process modeling
 ♦  model transformation and rewriting
 ♦  (past) mobility and context awareness