Disputas: Christian Mahesh Hansen

M.Sc. Christian Mahesh Hansen ved Institutt for informatikk vil forsvare sin avhandling for graden ph.d.: ”A Variable-Splitting Theorem Prover”

 

Bildet kan inneholde: panne, skjegg, kjole skjorte, kjeve, gest.

Bedømmelseskomité

  • Lecturer Boris Konev, Department of Computer Science, University of Liverpool.
  • Professor Wolfgang Bibel, Technische Universität Darmstadt (emerit).
  • Associate Professor Ellen Munthe-Kaas, Department of Informatics, University of Oslo.

Opponenter

  • 1. opponent: Boris Konev
  • 2. opponent: Wolfgang Bibel

Leder

Dag Langmyhr 

For mer informasjon

Pressemelding om 

Christian Mahesh Hansen avhandling.

Kontakt

Mozhdeh Sheibani Harat

Publisert 5. okt. 2012 09:14 - Sist endret 20. aug. 2024 12:57