Hyppää pääsisältöön
Tampereen yliopisto
Sähköpostiosoitelauri.hella [at] tuni.fi
puhelinnumero+358503185851
Keskustakampus

Oma esittely

Olen matematiikan professori, ja toimin tällä hetkellä Matematiikan ja tilastotieteen tutkinto-ohjelmavastaavana. 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.