Lauri Hella

Aktiviteetit

Aktiviteetteja vuodessa 1990 1991 1993 2001 2002 2004 2005 2006 2008 2009 2010 2011 2012 2013 2014 2015 2017 2020 2022 2022

• 19 Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen
• 13 Vierailu ulkomaille
• 11 Väitöskirjatutkijan ohjaaja
• 3 Konferenssiartikkeleiden refereenä toimiminen
• 10 Lisää
  • 2 Konferenssin tai seminaarin järjestelytoimikunnan jäsenyys
  • 2 Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
  • 2 Dosentuurin hakijan arviointitehtävä
  • 2 Maisteriopiskelijoiden ohjaaminen
  • 1 Työpajan, paneelin, session tai tutoriaalin järjestäminen
  • 1 Lisensiaattitutkielman tekijän ohjaaja

Aktiviteetteja vuodessa

Hakutulokset

• Teoreettisen informatiikan instituutti, Leibniz-University, Hannover

  Hella, L. (Visitor)

  3 lokak. 2022 → 29 marrask. 2022

  Aktiviteetti: Vierailu ulkomaille

• University of Cambridge, Computer Laboratory

  Hella, L. (Visitor)

  25 syysk. 2022 → 30 syysk. 2022

  Aktiviteetti: Vierailu ulkomaille

• 30 Years of Finite Model Theory in Finland

  Hella, L. (Puheenjohtaja)

  1 syysk. 2021 → 31 elok. 2022

  Aktiviteetti: Konferenssin tai seminaarin järjestelytoimikunnan jäsenyys

• Annual Symposium on Logic in Computer Science, LICS 2021

  Hella, L. (Puheenjohtaja)

  1 kesäk. 2020 → 31 heinäk. 2021

  Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

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

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

  toukok. 2020 → marrask. 2020

  Aktiviteetti: Maisteriopiskelijoiden ohjaaminen

• Opponent of PhD thesis defence

  Hella, L. (Examiner)

  9 tammik. 2020

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

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

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

  2020 → 2021

  Aktiviteetti: Maisteriopiskelijoiden ohjaaminen

• Opponent of PhD thesis defence

  Hella, L. (Examiner)

  10 jouluk. 2019

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

• Teoreettisen informatiikan instituutti, Leibniz-University, Hannover

  Hella, L. (Visitor)

  13 marrask. 2017 → 18 marrask. 2017

  Aktiviteetti: Vierailu ulkomaille

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

  Hella, L. (Arvioija)

  20 elok. 2017 → 24 elok. 2017

  Aktiviteetti: Konferenssiartikkeleiden refereenä toimiminen

• Computer Science Logic 2017 (CSL 2017)

  Hella, L. (Puheenjohtaja)

  1 lokak. 2016 → 24 elok. 2017

  Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

• Teoreettisen informatiikan instituutti, Leibniz-University, Hannover

  Hella, L. (Visitor)

  8 marrask. 2015 → 14 marrask. 2015

  Aktiviteetti: Vierailu ulkomaille

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

  Hella, L. (Arvioija)

  7 syysk. 2015 → 10 syysk. 2015

  Aktiviteetti: Konferenssiartikkeleiden refereenä toimiminen

• 9th Scandinavian Logic Symposium

  Hella, L. (Järjestäjä)

  25 elok. 2014 → 27 elok. 2014

  Aktiviteetti: Konferenssin tai seminaarin järjestelytoimikunnan jäsenyys

• Computer Science Department, University of California, Santa Cruz

  Hella, L. (Visitor)

  7 huhtik. 2014 → 16 toukok. 2014

  Aktiviteetti: Vierailu ulkomaille

• Teoreettisen informatiikan instituutti, Leibniz-University, Hannover

  Hella, L. (Visitor)

  3 helmik. 2014 → 13 helmik. 2014

  Aktiviteetti: Vierailu ulkomaille

• Lausunto Fredrik Engströmin dosentuurihakemuksesta Göteborgin yliopistolle

  Hella, L. (Contributor)

  2 helmik. 2014

  Aktiviteetti: Dosentuurin hakijan arviointitehtävä

• Mathematische Grundlagen der Informatik, RWTH Aachen

  Hella, L. (Visitor)

  4 marrask. 2013 → 15 marrask. 2013

  Aktiviteetti: Vierailu ulkomaille

• Informatiikan Instituutti, Wroclawin yliopisto

  Hella, L. (Visitor)

  18 lokak. 2013 → 26 lokak. 2013

  Aktiviteetti: Vierailu ulkomaille

• Leibniz-University, Hannover

  Hella, L. (Visitor)

  4 marrask. 2012 → 8 marrask. 2012

  Aktiviteetti: Vierailu ulkomaille

• Toimiminen vastaväittäjänä

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

  14 kesäk. 2012

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

• Teoreettisen informatiikan instituutti, Leibniz-University, Hannover

  Hella, L. (Visitor)

  12 kesäk. 2012 → 15 kesäk. 2012

  Aktiviteetti: Vierailu ulkomaille

• Toimiminen vastaväittäjänä

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

  31 toukok. 2012

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

• Leibniz yliopisto, Teoreettisen tietojenkäsittelyopin laitos

  Hella, L. (Visitor)

  23 toukok. 2011 → 28 toukok. 2011

  Aktiviteetti: Vierailu ulkomaille

• Toimiminen vastaväittäjänä

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

  30 tammik. 2011

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

• Väitöskirjan esitarkastus

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

  2 syysk. 2010

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

• Toimiminen vastaväittäjänä

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

  22 kesäk. 2010

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

• Mittag-Leffler Instituutti

  Hella, L. (Visitor)

  20 lokak. 2009 → 15 jouluk. 2009

  Aktiviteetti: Vierailu ulkomaille

• Väitöskirjan esitarkastus

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

  2 kesäk. 2009

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

• Toimiminen vastaväittäjänä

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

  25 marrask. 2008

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

• Väitöskirjan esitarkastus

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

  22 toukok. 2008

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

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

  Hella, L. (Examiner)

  2008 → 2014

  Aktiviteetti: Väitöskirjatutkijan ohjaaja

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

  Hella, L. (Examiner)

  2008 → 2012

  Aktiviteetti: Väitöskirjatutkijan ohjaaja

• Väitöskirjan esitarkastus

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

  4 syysk. 2007

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

• Väitöskirjan esitarkastus

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

  27 lokak. 2006

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

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

  Hella, L. (Contributor)

  10 huhtik. 2006

  Aktiviteetti: Dosentuurin hakijan arviointitehtävä

• Isaac Newton Institute for Mathematical Sciences

  Hella, L. (Visitor)

  16 tammik. 2006 → 7 heinäk. 2006

  Aktiviteetti: Vierailu ulkomaille

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

  Hella, L. (Examiner)

  2005 → 2011

  Aktiviteetti: Väitöskirjatutkijan ohjaaja

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

  Hella, L. (Examiner)

  2005 → 2010

  Aktiviteetti: Väitöskirjatutkijan ohjaaja

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

  Hella, L. (Examiner)

  2005 → 2011

  Aktiviteetti: Väitöskirjatutkijan ohjaaja

• Väitöskirjan esitarkastus

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

  30 marrask. 2004

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

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

  Hella, L. (Järjestäjä)

  13 heinäk. 2004 → 17 heinäk. 2004

  Aktiviteetti: Työpajan, paneelin, session tai tutoriaalin järjestäminen

• Toimiminen vastaväittäjänä

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

  24 kesäk. 2004

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

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

  Hella, L. (Arvioija)

  17 helmik. 2004 → 20 helmik. 2004

  Aktiviteetti: Konferenssiartikkeleiden refereenä toimiminen

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

  Hella, L. (Examiner)

  2002 → 2007

  Aktiviteetti: Lisensiaattitutkielman tekijän ohjaaja

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

  Hella, L. (Examiner)

  2002 → 2006

  Aktiviteetti: Väitöskirjatutkijan ohjaaja

• Toimiminen vastaväittäjänä

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

  31 toukok. 2001

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

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

  Hella, L. (Examiner)

  2001 → 2005

  Aktiviteetti: Väitöskirjatutkijan ohjaaja

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

  Hella, L. (Examiner)

  2001 → 2008

  Aktiviteetti: Väitöskirjatutkijan ohjaaja

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

  Hella, L. (Examiner)

  1996 → 2000

  Aktiviteetti: Väitöskirjatutkijan ohjaaja