Lauri Hella

Activities

Activities per year 1990 1991 1993 2001 2002 2004 2005 2006 2008 2009 2010 2011 2012 2013 2014 2015 2017 2020 2020

• 17 Pre-examination of dissertation or acting as opponent to doctoral students
• 11 Supervisor of doctoral candidate
• 11 Visit abroad
• 3 Reviewer of Conference Article
• 7 More
  • 2 Statement of assessment of docentship
  • 2 Supervisor of master student
  • 1 Membership of an organizing committee of a conference or seminar
  • 1 Organization of a workshop, panel, session or tutorial
  • 1 Supervisor of licentiate candidate

Activities per year

Search results

• Opinnäytetöiden ohjaus, Väitöskirja: Riippuvuuslogiikkaa ja modaalilogiikkaa

  Lauri Hella (Examiner)

  2008 → 2012

  Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate

• Opinnäytetöiden ohjaus, Väitöskirja: Approaches to finite variable dependence: Expressiveness and computational complexity

  Lauri Hella (Examiner)

  2008 → 2014

  Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate

• Opinnäytetöiden ohjaus, Väitöskirja: Modaalilogiikkaa ja äärellisten mallien teoriaa

  Lauri Hella (Examiner)

  2005 → 2010

  Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate

• Opinnäytetöiden ohjaus, Väitöskirja: Modal fragments of second order logic

  Lauri Hella (Examiner)

  2005 → 2011

  Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate

• Opinnäytetöiden ohjaus, Väitöskirja: Toisen kertaluvun logiikan modaalisista fragmenteista

  Lauri Hella (Examiner)

  2005 → 2011

  Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate

• Opinnäytetöiden ohjaus, Väitöskirja: On definability of functions of several variables

  Lauri Hella (Examiner)

  2002 → 2006

  Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate

• Opinnäytetöiden ohjaus, Väitöskirja: Generalizing the Goldblatt-Thomason theorem and modal definability

  Lauri Hella (Examiner)

  2001 → 2008

  Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate

• Opinnäytetöiden ohjaus, Väitöskirja: Abiteboul-Vianu teoriaa yleistettyjen kvanttorien kanssa

  Lauri Hella (Examiner)

  2001 → 2005

  Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate

• Opinnäytetöiden ohjaus, Väitöskirja: Toisen kertaluvun yleistetyistä kvanttoreista

  Lauri Hella (Examiner)

  1996 → 2000

  Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate

• Opinnäytetöiden ohjaus, Väitöskirja: Yleistettyjen kvanttoreiden sovelluksia deskriptiivisessä vaativuusteoriassa

  Lauri Hella (Examiner)

  1993 → 1996

  Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate

• Opinnäytetöiden ohjaus, Väitöskirja: Filtterien sovellukset abstraktissa malliteoriassa

  Lauri Hella (Examiner)

  1991 → 1992

  Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate