Dr. Gunther Schiefer is computer scientist and has been researcher at the Institute of Applied Informatics and Formal Description Methods at KIT since 2000.