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”

 

Tid og sted: , Kristen Nygaards sal (5370), Ole-Johan Dahls hus, Gaustadalléen 23B

Tid og sted for prøveforelesning

7. juni 2012 kl. 10.15, i Kristen Nyggards sal (5370), Ole-Johan Dahls hus, Gaustadalleen 23B.

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 15. mars 2013 14:52
Del på e-post