Sisältöön
tampereen yliopisto: sis/luo-coms: yhteystiedot: henkilökunta:
Viestintätieteiden ja luonnontieteiden tiedekunnatTampereen yliopistoViestintätieteiden ja luonnontieteiden tiedekunnat

A PHP Error was encountered

Severity: Notice

Message: Only variable references should be returned by reference

Filename: core/Common.php

Line Number: 257

View
Get back to index.

http://www.sis.uta.fi/abcde/index.php/profile/view/330

Lauri Hella

professori / Professor of Mathematics

+358 50 318 5851

Lauri.Hella 'at' uta.fi

B0009b

I am available:

Mondays 15-16

My expertise:

My research area is mathematical logic and logic in computer science. In particular I have studied generalized quantifiers, finite model theory, descriptive complexity theory, modal logic, and logics with team semantics.

My work tasks:

I am teaching both introductory and advanced courses in logic. In addition, I am supervising master's thesis and PhD students. I am also leading the Tampere logic group. At the moment I am the head of the Masters Programme of Mathematics and Statistics at Tampere University.

 
Ylläpito: webmaster@uta.fi
Muutettu: 17.12.2012 9.13 Muokkaa

Tampereen yliopisto

Tampereen yliopisto
03 355 111
kirjaamo@uta.fi


KARVI-auditoitu HR Excellence in Research

YLIOPISTO
Tutkimus
Opiskelijaksi
Ajankohtaista
Yhteistyö ja palvelut
Yliopisto

AJANKOHTAISTA
Aikalainen
Avoimet työpaikat
Rehtoriblogi
Tampere3

PALVELUT
Aktuaarinkanslia
Avoin yliopisto
Hallinto
Kansainvälisen koulutuksen keskus
Kielikeskus
Kielipalvelut
Kirjaamo
Kirjasto
Liikuntapalvelut
Viestintä
Tietohallinto
Tutkimuspalvelut
Täydennyskoulutus
Tietoarkisto
» lisää palveluita

OPISKELU
Opetusohjelma
Opinto-oppaat
Opiskelijan työpöytä

SÄHKÖISET PALVELUT
Andor-hakupalvelu
Uusi lainasi
Intra
Moodle (learning2)
NettiOpsu / NettiRekka
NettiKatti
Sähköinen tenttipalvelu
TamPub
Office 365 webmail
Utaposti webmail
Wentti