Disputas: Ka I Pun

M.Sc. Ka I Pun ved Institutt for informatikk vil forsvare sin avhandling for graden ph.d.:

Behavioural Static Analysis for Deadlock Detection

Bildet kan inneholde: nese, kinn, smil, øyevipper, kjeve.

Bedømmelseskomité

  • Associate Professor  Marieke Huisman, University of Twente, Faculty EEMCS, The Netherlands
  • Associate Professor  Thomas Noll, RWTH Aachen, Lehrstuhl fuer Informatik 2, Germany
  • Associate Professor Martin Giese, Department of Informatics, UIO

Leder av disputas

Dag Langmyhr

Veileder

  • Professor Martin Steffen
  • Professor Einar Broch Johnsen

For mer informasjon

Pressemelding

Kontakt

Mozhdeh Sheibani Harat

Publisert 13. juni 2014 10:19 - Sist endret 20. aug. 2024 14:14