Disputas: Muhammad Fadlisyah

M.Sc. Muhammad Fadlisyah ved Institutt for informatikk vil forsvare sin avhandling for graden ph.d.: A Rewriting-Logic-Based Approach for the Formal Modeling and Analysis of Interacting Hybrid Systems

Tid og sted: , Kristen Nygaards sal (5370), Ole-Johan Dahls hus, Gaustadalléen 23B
Bildet kan inneholde: snø, hanske, fryser, reise, smil.

Bedømmelseskomité

  • Post.doc Ralf Sasse, ETH Zürich
  • Professor Jürgen Giesl, RWTH Aachen University
  • Associate Professor Erik Velldal, Department of Informatics, University of Oslo

Leder av disputas

Professor Fritz Albregtsen

Veileder

  • Professor Peter Olveczky, , Ifi, UiO
  • Professor Olaf Owe, Ifi, UiO
  • Professor Erika Abraham, Aachen University

For mer informasjon

Pressemelding

Kontakt

Mozhdeh Sheibani Harat

Publisert 25. aug. 2014 14:06 - Sist endret 20. aug. 2024 13:27
Del på e-post