Valokuva: Jouko Väänänen
  • PL 68 (Pietari Kalmin katu 5)

    00014

    Suomi

1973 …2019
Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Henkilökohtainen profiili

Ansioluettelo

S. 50, Ph.D. 77 (Manchester), matematiikan apulaisprofessori/professori 83-, matematiikan laitoksen varaesimies 98-03, esimies 99/00, matematiikan ja tilastotieteen laitoksen johtaja 04-06, varajohtaja 10-, matemaattis-luonnontieteellisen tiedekunnan tiedekuntaneuvoston jäsen 98-00 ja 04-06, varajäsen 01-03, 08-09, matematiikan laitoksen johtoryhmän jäsen 98-06, laitosneuvoston jäsen 10-, konsistorin jäsen 04-06, varadekaani 08-09, Suomalaisen tiedeakatemian jäsen 02-. Ernst Lindelöf palkinto 73, August Ramsay palkinto 82, Opetusteknologiapalkinto 99.

Tieteenalat

  • 111 Matematiikka
  • logic, foundations of mathematics

Kansainvälinen ja kotimainen yhteistyö Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.

Julkaisut 1973 2019

Dependence logic: a new approach to independence friendly logic

Väänänen, J., 2007, Cambridge: Cambridge University Press. 225 Sivumäärä (London Mathematical Society student texts; nro 70)

Tutkimustuotos: Kirja/raporttiKirjaTieteellinenvertaisarvioitu

From IF to BI: a tale of dependence and separation

Abramsky, S. & Väänänen, J., 2009, julkaisussa : Synthese. 167, s. 207-230 24 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Models and Games

Väänänen, J., toukokuuta 2011, Cambridge: Cambridge University Press. 374 Sivumäärä (Cambridge Studies in Advanced Mathematics; nro 132)

Tutkimustuotos: Kirja/raporttiKirjaTieteellinenvertaisarvioitu

23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016

Väänänen, J. & de Queiroz, R. J. G. B., syyskuuta 2019, julkaisussa : Annals of Pure and Applied Logic. 170, 9, s. 921-922 2 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuPääkirjoitusTieteellinen

A Logical Approach to Context-Specific Independence

Corander, J., Hyttinen, A., Kontinen, J., Pensar, J. & Väänänen, J., syyskuuta 2019, julkaisussa : Annals of Pure and Applied Logic. 170, 9, s. 975-992 18 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Projektit 2010 2015

  • 3 Päättynyt

CIMO Fellowship Gianluca Paolini TM-13-8847

Väänänen, J.

Unknown funder

01/10/201331/12/2014

Projekti: Tutkimusprojekti

Matemaattinen logiikka ja sen sovellutukset

Väänänen, J.

Unknown funder

01/09/201131/08/2015

Projekti: Tutkimusprojekti

ESF LogiCCC

Väänänen, J.

01/10/201030/07/2011

Projekti: Tutkimusprojekti

Aktiviteetit 2000 2018

European Set Theory Society (Ulkoinen yksikkö)

Jouko Väänänen (Hallituksen jäsen)
2014

Aktiviteetti: JäsenyystyypitJäsenyys tai muu rooli kansallisessa/kansainvälisessä komiteassa, toimikunnassa tai hallituksessa

Internal categoricity

Jouko Väänänen (Puhuja)
10 tammikuuta 2018

Aktiviteetti: Puhe- tai esitystyypitKutsuesitelmä

Cantorin paratiisi ja matematiikan totuudet

Jouko Väänänen (Puhuja)
19 tammikuuta 2018

Aktiviteetti: Puhe- tai esitystyypitKutsuesitelmä

Inner models from extended logics

Jouko Väänänen (Puhuja)
27 tammikuuta 2017

Aktiviteetti: Puhe- tai esitystyypitKutsuesitelmä

Some applications of team semantics

Jouko Väänänen (Puhuja)
9 kesäkuuta 2017

Aktiviteetti: Puhe- tai esitystyypitKutsuesitelmä

Lehdistö/media