10 červenec Tomáš Dacík se věnuje statické analýze programů. Za práci dostal ... Statické analýze programů se ve své doktorské práci věnuje Tomáš Dacík z FIT VUT. Ověřuje tak vlastnosti počítačových programů bez toho, aby je musel spouštět, a zjišťuje, zda v nich nemůže dojít ...
25 květen ARGO pod vodou: na veletrhu IDET vystavují prototyp studentské ponorky První generaci podvodního dronu ARGO představují na Mezinárodním veletrhu obranné a bezpečnostní techniky IDET studenti VUT v Brně. Tým strojLAB, který sdružuje studenty napříč fakultami i obory, ...