Lauri Hella

Activities

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

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

Activities per year

Search results

• Teoreettisen informatiikan instituutti, Leibniz-University, Hannover

  Hella, L. (Visitor)

  3 Oct 2022 → 29 Nov 2022

  Activity: Visiting an external institution › Visit abroad

• University of Cambridge, Computer Laboratory

  Hella, L. (Visitor)

  25 Sept 2022 → 30 Sept 2022

  Activity: Visiting an external institution › Visit abroad

• 30 Years of Finite Model Theory in Finland

  Hella, L. (Chair)

  1 Sept 2021 → 31 Aug 2022

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

• Annual Symposium on Logic in Computer Science, LICS 2021

  Hella, L. (Chair)

  1 Jun 2020 → 31 Jul 2021

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

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

  Hella, L. (Examiner), Kaarakka, T. (Examiner) & Viro, I. E. (Examiner)

  May 2020 → Nov 2020

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

• Opponent of PhD thesis defence

  Hella, L. (Examiner)

  9 Jan 2020

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

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

  Kangaslampi, R. (Examiner), Hirvonen, J. (Examiner) & Hella, L. (Examiner)

  2020 → 2021

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

• Opponent of PhD thesis defence

  Hella, L. (Examiner)

  10 Dec 2019

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

• Teoreettisen informatiikan instituutti, Leibniz-University, Hannover

  Hella, L. (Visitor)

  13 Nov 2017 → 18 Nov 2017

  Activity: Visiting an external institution › Visit abroad

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

  Hella, L. (Reviewer)

  20 Aug 2017 → 24 Aug 2017

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

• Computer Science Logic 2017 (CSL 2017)

  Hella, L. (Chair)

  1 Oct 2016 → 24 Aug 2017

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

• Teoreettisen informatiikan instituutti, Leibniz-University, Hannover

  Hella, L. (Visitor)

  8 Nov 2015 → 14 Nov 2015

  Activity: Visiting an external institution › Visit abroad

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

  Hella, L. (Reviewer)

  7 Sept 2015 → 10 Sept 2015

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

• 9th Scandinavian Logic Symposium

  Hella, L. (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

  Hella, L. (Visitor)

  7 Apr 2014 → 16 May 2014

  Activity: Visiting an external institution › Visit abroad

• Teoreettisen informatiikan instituutti, Leibniz-University, Hannover

  Hella, L. (Visitor)

  3 Feb 2014 → 13 Feb 2014

  Activity: Visiting an external institution › Visit abroad

• Lausunto Fredrik Engströmin dosentuurihakemuksesta Göteborgin yliopistolle

  Hella, L. (Contributor)

  2 Feb 2014

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

• Mathematische Grundlagen der Informatik, RWTH Aachen

  Hella, L. (Visitor)

  4 Nov 2013 → 15 Nov 2013

  Activity: Visiting an external institution › Visit abroad

• Informatiikan Instituutti, Wroclawin yliopisto

  Hella, L. (Visitor)

  18 Oct 2013 → 26 Oct 2013

  Activity: Visiting an external institution › Visit abroad

• Leibniz-University, Hannover

  Hella, L. (Visitor)

  4 Nov 2012 → 8 Nov 2012

  Activity: Visiting an external institution › Visit abroad

• Toimiminen vastaväittäjänä

  Hella, L. (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

  Hella, L. (Visitor)

  12 Jun 2012 → 15 Jun 2012

  Activity: Visiting an external institution › Visit abroad

• Toimiminen vastaväittäjänä

  Hella, L. (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

  Hella, L. (Visitor)

  23 May 2011 → 28 May 2011

  Activity: Visiting an external institution › Visit abroad

• Toimiminen vastaväittäjänä

  Hella, L. (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

  Hella, L. (Pre-examiner or opponent of dissertation)

  2 Sept 2010

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

• Toimiminen vastaväittäjänä

  Hella, L. (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

  Hella, L. (Visitor)

  20 Oct 2009 → 15 Dec 2009

  Activity: Visiting an external institution › Visit abroad

• Väitöskirjan esitarkastus

  Hella, L. (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ä

  Hella, L. (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

  Hella, L. (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

  Hella, L. (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

  Hella, L. (Examiner)

  2008 → 2014

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

• Väitöskirjan esitarkastus

  Hella, L. (Pre-examiner or opponent of dissertation)

  4 Sept 2007

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

• Väitöskirjan esitarkastus

  Hella, L. (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

  Hella, L. (Contributor)

  10 Apr 2006

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

• Isaac Newton Institute for Mathematical Sciences

  Hella, L. (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

  Hella, L. (Examiner)

  2005 → 2010

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

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

  Hella, L. (Examiner)

  2005 → 2011

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

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

  Hella, L. (Examiner)

  2005 → 2011

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

• Väitöskirjan esitarkastus

  Hella, L. (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)

  Hella, L. (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ä

  Hella, L. (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)

  Hella, L. (Reviewer)

  17 Feb 2004 → 20 Feb 2004

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

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

  Hella, L. (Examiner)

  2002 → 2006

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

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

  Hella, L. (Examiner)

  2002 → 2007

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

• Toimiminen vastaväittäjänä

  Hella, L. (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

  Hella, L. (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

  Hella, L. (Examiner)

  2001 → 2005

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

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

  Hella, L. (Examiner)

  1996 → 2000

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