Antti Kuusisto

Aktiviteetit

Aktiviteetteja vuodessa 2006 2008 2009 2010 2012 2013 2013

• 24 Konferenssiesitelmä
• 3 Tieteellisen lehden refereenä toimiminen
• 2 Workshopin tai sessionin puheenjohtajana toimiminen
• 2 Maisteriopiskelijoiden ohjaaminen
• 2 Lisää
  • 1 Työpajan, paneelin, session tai tutoriaalin järjestäminen
  • 1 Kutsuttu esitelmä

Aktiviteetteja vuodessa

Hakutulokset

• Opinnäytetöiden ohjaus, Pro gradu -tutkielma: Hybridilogiikka

  Kuusisto, A. (Examiner)

  2008 → …

  Aktiviteetti: Maisteriopiskelijoiden ohjaaminen

• Opinnäytetöiden ohjaus, Pro gradu -tutkielma: µ-kalkyyli - monadisen toisen kertaluvun predikaattilogiikan bisimilaarisesti invariantti fragmentti

  Kuusisto, A. (Examiner)

  2007 → …

  Aktiviteetti: Maisteriopiskelijoiden ohjaaminen