Väitös tietotekniikan alalta, M.Sc. Konrad Kohbrok
Väitös Aalto-yliopiston perustieteiden korkeakoulusta, tietotekniikan laitokselta
Milloin
–
Missä
sali T2
Tapahtuman kieli
englanti
Väitöskirjan nimi: State-Separating Proofs and Their Applications
Tohtoriopiskelija: Konrad Kohbrok
Vastaväittäjä: Prof. Tibor Jager, Bergische University Wuppertal, Saksa
Kustos: Prof. Chris Brzuska, Aalto-yliopiston perustieteiden korkeakoulu, tietotekniikan laitos
Linkki väitöskirjan sähköiseen esittelykappaleeseen (esillä 10 päivää ennen väitöstä): https://aaltodoc.aalto.fi/doc_public/eonly/riiputus/
Perustieteiden korkeakoulun väitöskirjat: https://aaltodoc.aalto.fi/handle/123456789/52
- Julkaistu:
- Päivitetty: