Tutkimusryhmä

Tampere Logic Group

Tampereen yliopisto

Informaatioteknologian ja viestinnän tiedekunta

https://research.tuni.fi/logic

Keskeiset tehtävät ja tavoite

The Tampere Logic Group works with a variety of topics, ranging from finite model theory to dependence logic and modal logic. The common denominator linking the research topics together is their interdisciplinary nature, the main field of application being theoretical computer science.

Link to the main page of the group.

Ryhmän johtaja

Lauri Hella

professori emerita/emeritus

Informaatioteknologian ja viestinnän tiedekunta

Tampereen yliopisto

lauri.hella [at] tuni.fi (lauri[dot]hella[at]tuni[dot]fi)

Hervannan kampus

https://orcid.org/0000-0002-9117-8124

Ryhmän jäsenet

Tampereen yliopisto

Antti Kuusisto

apulaisprofessori (Associate Professor). diskreetti matematiikka. Informaatioteknologian ja viestinnän tiedekunta.

antti.kuusisto [at] tuni.fi (antti[dot]kuusisto[at]tuni[dot]fi)

Tampereen yliopisto

Kerkko Luosto

yliopistonlehtori. alana matematiikka. Informaatioteknologian ja viestinnän tiedekunta.

kerkko.luosto [at] tuni.fi (kerkko[dot]luosto[at]tuni[dot]fi)

Tampereen yliopisto

Esko Turunen

tuntiopettaja Informaatioteknologian ja viestinnän tiedekunta.

esko.turunen [at] tuni.fi (esko[dot]turunen[at]tuni[dot]fi)

Tampereen yliopisto

Tomi Janhunen

professori. tietojenkäsittelytiede. Informaatioteknologian ja viestinnän tiedekunta.

tomi.janhunen [at] tuni.fi (tomi[dot]janhunen[at]tuni[dot]fi)

Ryhmän muut jäsenet

Jonne Iso-Tuisku