Topic of PhD thesis

Advisor:Vojnar Tomáš, prof. Ing., Ph.D.
Student:Havlena Vojtěch, Ing.
Topic:Efficient Techniques for Dealing with Automata and Logics and Their Applications -- co-supervised by dr. O. Lengal
Start:2017/2018
PhD thesis subject:

Různé typy automatů a logik patří mezi nejzákladnější objekty studované a aplikované v oblasti informatiky již desítky let. Přesto v této oblasti existuje řada dosud neuspokojivě vyřešených problémů a neustále se objevují nové vzrušující problémy související se stále novými aplikacemi automatů a logik (např. při symbolické verifikaci nekonečně stavových programů, v rozhodovacích procedurách, při syntéze programů či hardware, při automatizovaném zpracování přirozených jazyků či při analýze síťového provozu).

Předmětem disertační práce bude konkrétně rozvoj současného stavu v oblasti efektivní práce s různými typy automatů (automaty nad slovy a stromy, pravděpodobnostní automaty, automaty rozšířené o různé typy proměnných a operací nad nimi) a logik (např. různé logiky nad slovy, stromy, grafovými strukturami či datovými slovy). Zkoumané techniky by se měly zaměřit na efektivní techniky redukce automatů, jejich porovnávání (jak na přesnou inkluzi či ekvivalenci tak i různé formy přibližné inkluze či ekvivalence), možnosti strojového učení automatů či efektivní rozhodovací techniky vybraných logik. Významnou části výzkumu by ale také měly být nové aplikace automatů a logik založené na nově navržených technikách pro práci s automaty či logikami. Důraz bude zejména na aplikace z oblasti formální analýzy a verifikace, analýzy síťového provozu, případně syntézy programů či hardware.

Práce bude řešena ve spolupráci s týmem VeriFIT zabývajícím se na FIT VUT rozvojem technik pro práci s automaty, logikami a jejich aplikacemi (zejména dr. O. Lengál, dr. M. Češka jr., dr. L. Holík či doc. A. Rogalewicz). V případě zodpovědného přístupu a kvalitních výsledků je zde možnost zapojení do grantových projektů (včetně mezinárodních). Je zde rovněž možnost úzké spolupráce s různými zahraničními partnery VeriFIT: Uppsala University, Švédsko (prof. P.A. Abdulla, prof. B. Jonnson); Academia Sinica, Taiwan (dr. Y.-F. Chen); LIAFA, Paříž, Francie (prof. A. Bouajjani, dr. Mihaela Sighireanu), VERIMAG, Grenoble, Francie (dr. R. Iosif) či School of Informatics, University of Edinburgh, Velká Británie (prof. R. Mayr).

Part of research project: