Isabelle Bacher

M.Sc. Isabelle Bacher

+49(0)6151 16-22395
fax +49(0)6151 16-22352

S3|06 320
Merckstr. 25
64283 Darmstadt

BITTE BEACHTEN SIE: Aufgrund der Coronavirus-Pandemie arbeite ich derzeit von zu Hause aus. Daher bin ich telefonisch nicht erreichbar, aber Sie können mir jederzeit eine E-Mail schicken.

Forschung

Publikationen

Projekte

Lehre

Laufende Abschlussarbeiten

  • Julian Hochgürtel: Verifikation stochastischer echtzeitkritischer Softwareprodukte. Bachelorarbeit, Betreuer: I. Bacher, 2021.
  • Alexander Lieb: Bisimulationsanalyse von variablen Softwaresystemen. Masterarbeit, Betreuer: I. Bacher, 2021.

Abgeschlossene Abschlussarbeiten