To page body
university of tampere: sis/luo-coms: research: cis - the tampere research center for information and systems: research groups: logic group:
Faculties of Natural and Communication SciencesUniversity of TampereFaculties of Natural and Communication Sciences
CIS - The Tampere Research Center for Information and Systems

People

Logic Group

 

Lauri Hella (Group leader, professor)

Lauri Hella

Finite model theory
Modal logic
firstname.lastname@uta.fi
homepage

 

Kerkko Luosto (University lecturer)

Kerkko Luosto

Generalized quantifiers
firstname.lastname@uta.fi
homepage

 

Antti Kuusisto (Researcher)

Antti Kuusisto Finite model theory, modal logic
firstname.j.lastname@uta.fi
homepage

 

Jonni Virtema (Researcher)

Jonni Virtema Modal logic
firstname.lastname@uta.fi
homepage

 

Jevgeni Haigora (Doctoral student)

 

Raine Rönnholm (Doctoral student)

Former Members

Allen Mann:

Post Doctoral Fellow 2009–2010
homepage

Suvi Lehtinen:

Researcher 2002–2007
PhD 2008

Jari Kivelä:

Researcher 2002–2007
Phil.Lic. 2007

Miguel Couceiro:

Researcher 2003–2006,
PhD 2006

Juha Nurmonen:

Post Doctoral Fellow 2002–2004

Mikko Suonio:

Researcher 2002–2004

 
Maintained by: webmaster@uta.fi
Last update: 16.10.2014 13.51 Muokkaa

University of Tampere
+358 3 355 111
registry@uta.fi


FINEEC Audited HR Excellence in Research

THE UNIVERSITY
Research
Admissions
Studies
News
Cooperation and Services
About Us

CURRENT ISSUES
Research & Study
Tampere3
Vacancies

SERVICES
Administration
Career Services
Finnish Social Science Data Archive
Centre for International Education
IT services
Language Centre
Language Services
Library
Registrar's Office
Registry
Sports Activities
» more

STUDIES
Teaching schedules
Curricula guides
Student's Desktop

ONLINE SERVICES
Andor search
Renew your loans
UTA intranet
Office 365 webmail
Uta webmail
Moodle
NettiOpsu
NettiKatti
TamPub
Electronic exam service
Examination results