Lukáš Kotlaba Monitorování zabezpečení prostředí Active Directory založené na technikách strojového učení
Tomas Vlk and Kamil Dedecius Bayesovské filtrování stavových modelů s neznámými kovariančními maticemi
Dominik Harmim Ing. Pokročilá statická analýza atomicity v souběžných programech prostřednictvím Facebooku Infer
