Disputas: Hallstein Asheim Hansen

Cand.Scient Hallstein Asheim Hansen ved Institutt for informatikk vil forsvare sin avhandling for graden ph.d.: ”Safety verification of planar, nonlinear complex control systems by over-approximation”

 

Bildet kan inneholde: topp, panne, nese, smil, lykkelig.

Bedømmelseskomité

  • Professor Martin Fränzle, Department of Computing Scince, Carl von Ossietzky University of Oldenburg.
  • Professor Christel Baier, Faculty of Computer Science, Dresden University of Technology.
  • Professor Arild Waaler, Department of Informatics, University of Oslo.

Opponenter

  • 1. opponent: Martin Fränzle
  • 2. opponent: Christel Baier

Leder

Dag Langmyhr

For mer informasjon

Pressemelding

Kontakt

Lena Korsnes

Publisert 23. mai 2012 08:26 - Sist endret 20. aug. 2024 12:55