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 ...
27 březen Mozek je pro nás pořád záhada Jde ze snímků mozku vyčíst, zda se u člověka rozvine deprese nebo ho postihne mrtvice? A můžeme se diagnostikovat doma na gauči pomocí mobilního telefonu? Na tyto a další otázky se už mnoho let ...