Skip to main content
Suomeksi
Research group

Tampere Logic Group

Tampere University
Faculty of Information Technology and Communication Sciences

Research focus and goals

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

Leader

Lauri Hella

Professor, matematiikka
Faculty of Information Technology and Communication Sciences
Tampere University
lauri.hella [at] tuni.fi
+358503185851
City Centre Campus
https://orcid.org/0000-0002-9117-8124

Members

Tampere University

Antti Kuusisto

Academy Research Fellow Faculty of Information Technology and Communication Sciences.
antti.kuusisto [at] tuni.fi
Tampere University

Kerkko Luosto

University Lecturer. alana matematiikka. Faculty of Information Technology and Communication Sciences.
+358503185908
kerkko.luosto [at] tuni.fi
Tampere University

Esko Turunen

Part-Time Teacher Faculty of Information Technology and Communication Sciences.
+358503014667
esko.turunen [at] tuni.fi
Tampere University

Tomi Janhunen

Professor. Computer Science. Faculty of Information Technology and Communication Sciences.
+358503182250
tomi.janhunen [at] tuni.fi
Tampere University

Miikka Vilander

Postdoctoral Research Fellow Faculty of Information Technology and Communication Sciences.
miikka.vilander [at] tuni.fi
Tampere University

Raine Rönnholm

Visitor, Research Faculty of Information Technology and Communication Sciences.
raine.ronnholm [at] tuni.fi

Other members

Jonne Iso-Tuisku

Tampere University and Tampere University of Applied Sciences (TAMK) constitute the Tampere Universities community. Our areas of priority in research and education are technology, health and society.

Tampere University: +358 (0)294 5211
Tampere University of Applied Sciences : +358 (0)294 5222