Roubíček, Filip, Matematický ústav AV ČR, Praha, Czechia