Hyppää pääsisältöön

Tampere Logic Group

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 muut jäsenet

Jonne Iso-Tuisku