Research group

Tampere Logic Group

Tampere University

Faculty of Information Technology and Communication Sciences

https://research.tuni.fi/logic

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 Emerita/Emeritus

Faculty of Information Technology and Communication Sciences

Tampere University

lauri.hella [at] tuni.fi

Hervanta Campus

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

Members

Tampere University

Antti Kuusisto

Senior 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.

kerkko.luosto [at] tuni.fi

Tampere University

Esko Turunen

Part-Time Teacher Faculty of Information Technology and Communication Sciences.

esko.turunen [at] tuni.fi

Tampere University

Tomi Janhunen

Professor. Computer Science. Faculty of Information Technology and Communication Sciences.

tomi.janhunen [at] tuni.fi

Tampere University

Miikka Vilander

Postdoctoral Research Fellow Faculty of Information Technology and Communication Sciences.

miikka.vilander [at] tuni.fi

Other members

Jonne Iso-Tuisku