Oma esittely
Olen matematiikan professori. Tutkimusalojani ovat matemaattinen logiikka ja tietojenkäsittelyopin logiikka.
Olen tutkimusryhmän Tampere Logic Group johtaja.
Tutkimuskohteet
Yleistettyjen kvanttorien määriteltävyysteoria
Ehrenfeucht-Fraisse-pelit ja kaavanpituuspelit sekä niiden sovellukset
Deskriptiivinen vaativuusteoria: vaativuusluokkien loogiset karakterisoinnit
Modaaliset ja ensimmäisen kertaluvun riippuvuuslogiikat sekä tiimisemantiikka
Tieteenalat
Matematiikka, teoreettinen tietojenkäsittelyoppi.
Merkittävimmät julkaisut
L. Hella: Definability hierarchies of generalized quantiers. Annals of Pure and Applied Logic 43 (1989): 235-271.
L. Hella: Logical hierarchies in PTIME. Information and Computation 129 (1996): 1-19.
L. Hella, L. Libkin, J. Nurmonen, and L. Wong: Logics with aggregate operators. Journal of the ACM 48 (2001): 880-907.
P. Galliani and L. Hella: Inclusion logic and fixed point logic. Proc. 22th Annual Conference the EACSL (CSL), 2013, pages 281-295.
L. Hella, M. Järvisalo, A. Kuusisto, J. Laurinharju, T. Lempiäinen, K. Luosto, J. Suomela, and J. Virtema: Weak models of distributed computing, with connections to modal logic. Distributed Computing 28(1) (2015): 31-53.
L. Hella and A. Kuusisto: Existential second-order logic and modal logic with quantified accessibility relations. Information and Computation 247 (2016): 217-234.