Hyppää pääsisältöön
In English

Lauri Hella

professori emerita/emeritus
Informaatioteknologian ja viestinnän tiedekunta | Tietotekniikka
Tampereen yliopisto
lauri.hella [at] tuni.fi (lauri[dot]hella[at]tuni[dot]fi)
Hervannan kampus
https://orcid.org/0000-0002-9117-8124

Oma esittely

Olen matematiikan emeritus professori. Tutkimusalojani ovat matemaattinen logiikka ja tietojenkäsittelyopin logiikka.

Toimin tutkimusryhmän Tampere Logic Group johtajana ennen eläkkeelle jäämistäni.

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.

Uusimmat julkaisut

Kaikki julkaisut

Omat linkit