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 ...
5 červenec Trasovací software zefektivní nákladní dopravu Kudy poslat kamion, aby byla cesta co nejrychlejší a nejlevnější? Práci dispečerů logistických společností nově ulehčí pokročilý trasovací software. Na jeho vývoji pracovali odborníci z Ústavu ...