Aktuality

Srdečně zveme na obhajobu disertační práce Ing. Ing. Martina Hrušky s názvem Automaty ve Verifikaci a Testování Software. Pod vedením školitele profesora Tomáše Vojnara a školitele specialisty docenta Lukáše Holíka se v ní zabývá aplikacemi teorie konečných automatů v zajištění kvality software. V první části se zabývá aplikací automatu v pro formální verifikaci programu pracujících s dynamickými datovými strukturami, následně pak jejich aplikací do automatizovaného testování výrobních informačních systému v prostředí digitálního dvojčete. 

Obhajoba se koná 5. března od 13 hodin v zasedací místnosti C209 na FIT VUT.

Oponenty jsou assoc. prof. Ahmed Rezine z Linköping University a doc. RNDr. Jan Kofroň, Ph.D. z MFF UK.

Více informací o práci naleznete na tomto odkazu.

Srdečně zveme na obhajobu disertační práce Ing. Viktora Malíka s názvem Statická analýza programů v jazyce C. Pod vedením školitele profesora Tomáše Vojnara  se v ní zabývá  statickou analýzou nízkoúrovňového softwaru (tj. analýzy zdrojového kódu softwaru). Práce navrhuje nové originální techniky ve dvou různých oblastech analýzy: formální verifikaci (tj. dokazování správnosti), programů pracujících se složitými datovými strukturami a rychlou, odlehčenou statickou analýzu sémantických rozdílů mezi verzemi rozsáhlého softwaru (např. linuxového jádra nebo systémových knihoven).

Obhajoba se koná 5. března od 15 hodin v zasedací místnosti C209 na FIT VUT.

Oponenty jsou Florian Zuleger, Associate Prof. Dipl.-Math. Dr.techn z TU Wien a prof. RNDr. Jan Strejček, Ph.D. z FI MU.

Více informací o práci naleznete na tomto odkazu.

Deepfakes kam se podíváte. Člověk, aby se v těchto dnech bál zvednout telefon. To, že umělá inteligence, pokud se dostane do nesprávných rukou, dokáže být hodně nebezpečná, je už poměrně známý fakt. "Deepfake je umělé medium, v podstatě nějaký zpracovaný obraz, zvuk, obrázek, video, vlastně něco, co neexistuje. Například vezmu vás, nahraji si vás na telefon a vytvořím texty, které jste nikdy neřekli. Já sám jsem občas šokován, co dokážeme vyrobit a jak daleko ta technologie je," uvedl Kamil Malinka z FIT VUT v reportáži pro televizi Nova. 

Naši výzkumníci pomáhají v boji proti deepfakes jednak výzkumem, který si klade za cíl vytvořit nástroje pro detekci uměle vytvořených nahrávek, tak i šířením povědomí o tomto fenoménu a rizicích zneužití AI. 

Na reportáž odvysílanou 15. února v pořadu TV Nova Na vaší straně se můžete podívat na tomto odkazu.