Disputas: Daniela Lepri

M.Sc. Daniela Lepri ved Institutt for informatikk vil forsvare sin avhandling for graden Ph.D:

Timed Temporal Logic Model Checking of Real-Time Systems. A Rewriting-Logic-Based Approach.

Tid og sted: , Kristen Nygaards sal (5370), Ole-Johan Dahls hus, Gaustadalléen 23b
Bildet kan inneholde: person, panne, leppe, hake, øyenbryn.

Bedømmelseskomité

  • Post.doc. Ralf Sasse, ETH Zürich
  • Junior Research Fellow PhD Dalal Alrajeh , Imperial College and University college London (UCL)
  • Post.doc. Silvia Lizeth Tapia Tarifa

Veileder

  • Professor Peter Csaba Ølveczky, Institutt for informatikk, Universitetet i Oslo
  • Professor Olaf Owe, Institutt for informatikk, Universitetet i Oslo
  • Professor Erika Ábrahám, Aachen University

Leder av disputas

Fritz Albregtsen

For mer informasjon

Pressemelding

Kontakt

Mozhdeh Sheibani Harat

Publisert 25. mars 2015 09:16 - Sist endret 20. aug. 2024 14:24
Del på e-post