Valasek, Michael, Czech technical university in Prague, Czechia