Laboratoř strojového učení ve verifikaci (LiVe Lab)

Kontakt: prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.

Webové stránky laboratoře: live-lab.fi.muni.cz

LiVe Lab je výzkumná skupina zkoumající styčné plochy (i) strojového učení (a v širším pojetí umělé inteligence) a (ii) analýzy, verifikace a řízení složitých systémů. Zajímají nás zejména matematické základy a algoritmické techniky nezbytné pro vytváření bezpečných a spolehlivých systémů, které obsahují komponenty založené na umělé inteligenci. K vylepšení těchto algoritmických technik také využíváme metody založené na umělé inteligenci. Naše aplikace zahrnují různé oblasti, včetně robotiky, autonomního řízení nebo biochemických systémů. Část naší skupiny působí na Technické univerzitě v Mnichově, na nejlépe hodnocené fakultě informatiky v EU.