Dr.-Ing. Kerstin Bauer

was member of the group
from 07/2009 to 07/2013
left for
Helmholtz-Gymnasium Heidelberg
research interests
modeling languages for hybrid systems hybrid system verification
publications
all \| authored \| edited/supervised \| talks

Fachbereich Informatik