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 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

Published May 29, 2015 9:22 AM - Last modified Oct. 14, 2016 1:35 PM