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”

 

Time and place: June 7, 2012 12:15 PM, 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

Published May 23, 2012 8:26 AM - Last modified Mar. 15, 2013 2:52 PM
E-mail this page