doc. Mgr.

Lukáš Holík

Ph.D.

docent

+420 54114 1331
holik@fit.vut.cz
A220 Pracovna
103996/osobní číslo VUT

Životopis

Vzdělání a akademická kvalifikace

2021: docent v oboru výpočetní technika a informatika, FIT VUT v Brně.

2011: Ph.D. v oboru výpočetní technika a informatika, FIT VUT v Brně.

2006: Mgr. v oboru informatika, Fakulta informatiky Masarykovy university v Brně.

Vědeckovýzkumná činnost

Formální metody, zejména komečné automaty a logiky, a jejich aplikace v automatickém usuzování, zejména v analýze a verifikaci systémů.

Získaná ocenění

Nahoru