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

• Mirka Karjalainen: Opetusmenetelmän vaikutus insinöörien matemaattisen osaamisen kehittymiseen yliopisto-opintojen alussa

  Lauri Hella (Examiner), Terhi Kaarakka (Examiner) & Ida Elina Viro (Examiner)

  May 2020 → Nov 2020

  Activity: Evaluation, examination and supervision › Supervisor of master student

• Tytti Kuokkanen: Osallistumisaktiivisuuden vaikutus oppimistuloksiin insinöörimatematiikan opintojaksoilla

  Riikka Kangaslampi (Examiner), Jani Hirvonen (Examiner) & Lauri Hella (Examiner)

  2020 → 2021

  Activity: Evaluation, examination and supervision › Supervisor of master student

• Teoreettisen informatiikan instituutti, Leibniz-University, Hannover

  Lauri Hella (Visitor)

  13 Nov 2017 → 18 Nov 2017

  Activity: Visiting an external institution › Visit abroad

• Computer Science Logic 2017 (CSL 2017) (Event)

  Lauri Hella (Reviewer)

  20 Aug 2017 → 24 Aug 2017

  Activity: Publication peer-review and editorial work › Reviewer of Conference Article

• Teoreettisen informatiikan instituutti, Leibniz-University, Hannover

  Lauri Hella (Visitor)

  8 Nov 2015 → 14 Nov 2015

  Activity: Visiting an external institution › Visit abroad

• Computer Science Logic 2015 (CSL 2015) (Event)

  Lauri Hella (Reviewer)

  7 Sep 2015 → 10 Sep 2015

  Activity: Publication peer-review and editorial work › Reviewer of Conference Article

• 9th Scandinavian Logic Symposium

  Lauri Hella (Organiser)

  25 Aug 2014 → 27 Aug 2014

  Activity: Participating in or organising an event › Membership of an organizing committee of a conference or seminar

• Computer Science Department, University of California, Santa Cruz

  Lauri Hella (Visitor)

  7 Apr 2014 → 16 May 2014

  Activity: Visiting an external institution › Visit abroad

• Teoreettisen informatiikan instituutti, Leibniz-University, Hannover

  Lauri Hella (Visitor)

  3 Feb 2014 → 13 Feb 2014

  Activity: Visiting an external institution › Visit abroad

• Lausunto Fredrik Engströmin dosentuurihakemuksesta Göteborgin yliopistolle

  Lauri Hella (Contributor)

  2 Feb 2014

  Activity: Evaluation, examination and supervision › Statement of assessment of docentship

• Mathematische Grundlagen der Informatik, RWTH Aachen

  Lauri Hella (Visitor)

  4 Nov 2013 → 15 Nov 2013

  Activity: Visiting an external institution › Visit abroad

• Informatiikan Instituutti, Wroclawin yliopisto

  Lauri Hella (Visitor)

  18 Oct 2013 → 26 Oct 2013

  Activity: Visiting an external institution › Visit abroad

• Leibniz-University, Hannover

  Lauri Hella (Visitor)

  4 Nov 2012 → 8 Nov 2012

  Activity: Visiting an external institution › Visit abroad

• Toimiminen vastaväittäjänä

  Lauri Hella (Pre-examiner or opponent of dissertation)

  14 Jun 2012

  Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students

• Teoreettisen informatiikan instituutti, Leibniz-University, Hannover

  Lauri Hella (Visitor)

  12 Jun 2012 → 15 Jun 2012

  Activity: Visiting an external institution › Visit abroad

• Toimiminen vastaväittäjänä

  Lauri Hella (Pre-examiner or opponent of dissertation)

  31 May 2012

  Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students

• Leibniz yliopisto, Teoreettisen tietojenkäsittelyopin laitos

  Lauri Hella (Visitor)

  23 May 2011 → 28 May 2011

  Activity: Visiting an external institution › Visit abroad

• Toimiminen vastaväittäjänä

  Lauri Hella (Pre-examiner or opponent of dissertation)

  30 Jan 2011

  Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students

• Väitöskirjan esitarkastus

  Lauri Hella (Pre-examiner or opponent of dissertation)

  2 Sep 2010

  Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students

• Toimiminen vastaväittäjänä

  Lauri Hella (Pre-examiner or opponent of dissertation)

  22 Jun 2010

  Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students

• Mittag-Leffler Instituutti

  Lauri Hella (Visitor)

  20 Oct 2009 → 15 Dec 2009

  Activity: Visiting an external institution › Visit abroad

• Väitöskirjan esitarkastus

  Lauri Hella (Pre-examiner or opponent of dissertation)

  2 Jun 2009

  Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students

• Toimiminen vastaväittäjänä

  Lauri Hella (Pre-examiner or opponent of dissertation)

  25 Nov 2008

  Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students

• Väitöskirjan esitarkastus

  Lauri Hella (Pre-examiner or opponent of dissertation)

  22 May 2008

  Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students

• 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

• Väitöskirjan esitarkastus

  Lauri Hella (Pre-examiner or opponent of dissertation)

  4 Sep 2007

  Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students

• Väitöskirjan esitarkastus

  Lauri Hella (Pre-examiner or opponent of dissertation)

  27 Oct 2006

  Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students

• Lausunto Juliette Kennedyn tieteellisestä pätevyydestä dosentin virkaa varten

  Lauri Hella (Contributor)

  10 Apr 2006

  Activity: Evaluation, examination and supervision › Statement of assessment of docentship

• Isaac Newton Institute for Mathematical Sciences

  Lauri Hella (Visitor)

  16 Jan 2006 → 7 Jul 2006

  Activity: Visiting an external institution › Visit abroad

• 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

• Väitöskirjan esitarkastus

  Lauri Hella (Pre-examiner or opponent of dissertation)

  30 Nov 2004

  Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students

• 19th Annual IEEE Symposium on Logic in Computer Science (LICS 04)

  Lauri Hella (Organiser)

  13 Jul 2004 → 17 Jul 2004

  Activity: Participating in or organising an event › Organization of a workshop, panel, session or tutorial

• Toimiminen vastaväittäjänä

  Lauri Hella (Pre-examiner or opponent of dissertation)

  24 Jun 2004

  Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students

• Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2004) (Event)

  Lauri Hella (Reviewer)

  17 Feb 2004 → 20 Feb 2004

  Activity: Publication peer-review and editorial work › Reviewer of Conference Article

• Opinnäytetöiden ohjaus, Lisensiaatintutkimus: Correspondences between definability of Boolean functions and frame definability in modal logic

  Lauri Hella (Examiner)

  2002 → 2007

  Activity: Evaluation, examination and supervision › Supervisor of licentiate 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

• Toimiminen vastaväittäjänä

  Lauri Hella (Pre-examiner or opponent of dissertation)

  31 May 2001

  Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students

• 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

• Toimiminen vastaväittäjänä

  Lauri Hella (Pre-examiner or opponent of dissertation)

  18 Sep 1993

  Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students

• 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

• Väitöskirjan esitarkastus

  Lauri Hella (Pre-examiner or opponent of dissertation)

  27 May 1992

  Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students

• Väitöskirjan esitarkastus

  Lauri Hella (Pre-examiner or opponent of dissertation)

  14 Jun 1991

  Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students

• 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

• Väitöskirjan esitarkastus

  Lauri Hella (Pre-examiner or opponent of dissertation)

  6 Sep 1990

  Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students