13 srpen VeriFIT: úspěšná výzkumná skupina. Nejen na konferenci Computer Aided ... Mimořádný publikační výsledek si připsala fakultní výzkumná skupina VeriFIT, zaměřující se na automatizovanou analýzu a verifikaci. Na jedné z nejprestižnějších (CORE A*, acceptance rate 25 %) ...
3 červenec „To, že aktuální systémy nefungují dobře, je velkou motivací,“ říká ... Letošním držitelem 2. místa Ceny Josepha Fouriera je doktorand FIT VUT Alexander Polok z Ústavu počítačové grafiky a multimédií. Polok, který si v soutěži studentů doktorského studia v oboru ...