Laitoksen viisi keskeistä tutkimusaluetta ovat: algebra ja diskreetti matematiikka; analyysi; numeerinen analyysi ja käänteisongelmat; stokastiikka ja tilastotiede; systeemianalyysi ja operaatiotutkimus. Tarjoamme pää- ja sivuainekokonaisuuksia kandi- ja maisteritasolla sekä tohtorikoulutusta jatko-opiskelijoille. Laitokselta viime aikoina valmistuneet ovat sijoittuneet yliopistoihin, tutkimuslaitoksiin, julkishallintoon sekä yrityksiin esimerkiksi finanssi-, energia- ja liikennesektoreilla.
29.7. 11:00 Yaël Dillies: Formalisation in Lean: Why care? – M3 (M234)
30.7. 14:00 Yaël Dillies: Lean: The basics (formalization workshop 1) – M3 (M234)
1.8. 14:00 Yaël Dillies: Lean: The slightly less basic (formalization workshop 2) – M3 (M234)
Tarley Fantazzini (Federal University of Sao Carlos) 1.2.–31.7.
Flávio Lim-Apo (Pontifical Catholic University of Rio de Janeiro) 1.4.–30.9.
Nadja Aoutouf (INRIA National Institute for Research in Digital Science and Technology) 15.5.–15.8.
Arnaud Bastian (École des Ponts ParisTech (ENPC)) 31.5.–8.9.
Mevlüde Alizade (Ankara University) 17.6.–23.8.
Sivusta vastaa: webmaster-math [at] list [dot] aalto [dot] fi
