Tutkimustuotoksia vuodessa
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/raportti › Kirja › Tieteellinen › vertaisarvioitu
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: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
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/raportti › Kirja › Tieteellinen › vertaisarvioitu
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: Artikkelijulkaisu › Pääkirjoitus › Tieteellinen
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: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Projektit 2010 2015
- 3 Päättynyt
Aktiviteetit 2000 2018
European Set Theory Society (Ulkoinen yksikkö)
Jouko Väänänen (Hallituksen jäsen)2014
Aktiviteetti: Jäsenyystyypit › Jäsenyys tai muu rooli kansallisessa/kansainvälisessä komiteassa, toimikunnassa tai hallituksessa
Internal categoricity
Jouko Väänänen (Puhuja)10 tammikuuta 2018
Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
Cantorin paratiisi ja matematiikan totuudet
Jouko Väänänen (Puhuja)19 tammikuuta 2018
Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
Inner models from extended logics
Jouko Väänänen (Puhuja)27 tammikuuta 2017
Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
Some applications of team semantics
Jouko Väänänen (Puhuja)9 kesäkuuta 2017
Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
Lehdistö/media
Mielipidekirjoitus: Tiederatikan valmistelu pitäisi aloittaa heti.
05/12/2017
1 median myötävaikutus
Lehdistö/media
Mielipidekirjoitus: Kansainvälisyys vahvistaa yliopistoa
19/03/2017
1 median myötävaikutus
Lehdistö/media
Muistokirjoitus: Matemaatikko oli verkko-opetuksen edelläkävijä
04/03/2015
1 median myötävaikutus
Lehdistö/media