Disputas: Lucian Bentea

M.Sc. Lucian Bentea ved Institutt for informatikk vil forsvare sin avhandling for graden Ph.D:

Formal Modeling and Analysis of Probabilistic Real-Time Systems in Rewriting Logic. A Probabilistic Strategy Language Approach

Tid og sted: , Lille auditorium, Kristen Nygaards hus, Gaustadalleen 23A

Tid og sted for prøveforelesning

12. juni 2015 kl. 10:15, Lille auditorium, Kristen Nygaards hus, Gaustadalleen 23A

Bedømmelseskomité

  • Professor Dorel Lucanu, Faculty of Computer Science, Alexandru Ioan Cuza University, Romania
  • Associate Professor Alberto Lluch Lafuente, The Technical University of Denmark
  • Professor Jan Tore Lønning, Department of Informatics, University of Oslo

 

Veileder:

  • Peter Csaba Ølveczky , Instituttet for informatikk, Universitetet i Oslo
  • Olaf Owe , Instituttet for informatikk, Universitetet i Oslo

 

 Leder av disputas

Fritz Albregtsen

For mer informasjon

Pressemelding

Kontakt

Mozhdeh Sheibani Harat

Publisert 29. mai 2015 09:22 - Sist endret 14. okt. 2016 13:35
Del på e-post