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
Bildet kan inneholde: panne, smil, tartan, kjeve, plaid.

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 20. aug. 2024 14:19
Del på e-post