Valokuva Jouko Väänänen

Jouko Väänänen

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Suomi

1973 …2020

Research output per year

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

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

An overview of Saharon Shelah's contributions to mathematical logic, in particular to model theory

Väänänen, J., 20 huhtikuuta 2020, julkaisussa : Theoria . 12 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

Diversity, Dependence and Independence

Galliani, P. & Väänänen, J., 2020, Foundations of Information and Knowledge Systems. Herzig, A. & Kontinen, J. (toim.). Vuosikerta 12012. s. 106-121 16 Sivumäärä (Lecture Notes in Computer Science).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

Projektit

  • 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

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

Hebrew University of Jerusalem

Jouko Väänänen (Vieraileva tutkija)
25 marraskuuta 201910 tammikuuta 2020

Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypitAkateeminen vierailu toiseen organisaatioon

Rutgers State Univ, Rutgers State University

Jouko Väänänen (Vieraileva tutkija)
1 syyskuuta 201921 marraskuuta 2019

Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypitAkateeminen vierailu toiseen organisaatioon

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ä

Lehtileikkeet