Zveme na obhajobu disertační práce Martina Hrušky z Ústavu inteligentních systémů

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.