Heinz Nixdorf MuseumsForum (HNF) Paderborn, 08. bis 10. November 2017

 

Dr. Hartmut Wittke

Willert Software GmbH

Moderator Biografie

Hartmut Wittke ist als Entwickler bei BTC-Embedded Systems seit 2005 in der Entwicklung der Rhapsody TestConductor und Automatic Test Generation Plugins aktiv. Modellbasiertes Testen und die Entwicklung und Umsetzung einer testunterstützen Modellentwicklungsmethodik stehen im Mittelpunkt seines Interesses.
Nach dem Studium der Informatik in Oldenburg folgte ab 1997 eine langjährige Tätigkeit in der formalen Modellverfikation bei OFFIS und dort auch eine Promotion zum  Thema kompositionale formale Verifikation von Statemate Modellen. 

Event schedule built with Event Schedule Pro