Ing. Petr Máj, Ph.D.

Projekty

Algoritmy pro zpracování stromových datových struktur, implementaci programovacích jazyků a kompresi dat

Program
Studentská grantová soutěž ČVUT
Kód
SGS17/209/OHK3/3T/18
Období
2017 - 2019
Popis
Pro ukládání, indexování a další zpracování velkého množství dat je zapotřebí využívat efektivních datových struktur a algoritmů. Pro hierarchickou organizaci dat je takovou typickou strukturou strom. Projekt si dále klade za cíl návrh a implementaci nových metod pro indexování kombinované s kompresí dat a metod pro různá přibližná vyhledávání nad těmito indexy. Aplikace takových indexů pak je při vyhledávání v DNA a RNA sekvencích. Dalším tématem výzkumu je oblast algoritmů pro implementace dynamických pragramovacích jazyků.

Big Code: Škálovatelná analýza rozsáhlých bází programů

Program
OPVVV - Operační program Výzkum, vývoj a vzdělávání - Strukturální fondy EU
Poskytovatel
Evropská komise
Kód
EF15_003/0000421, CZ.02.1.01/0.0/0.0/15_003/0000421
Období
2019 - 2022
Popis
V rámci projektu BigCode bude na Českém vysokém učení technickém v Praze, Fakultě informačních technologií (FIT) vytvořen Institut pro škálovatelnou analýzu kódu (ISCA), první výzkumné centrum v ČR zaměřené na analýzu rozsáhlých bází programových kódů na internetu, které představují obrovský znalostní potenciál, který ale neumíme zatím využít. Projekt BigCode si klade za cíl tuto bázi pomocí technik programovacích jazyků a statistického strojového učení zanalyzovat a umožnit porozumění získaným informacím. Požadované prostředky budou použity na vybudování hardwarové a softwarové infrastruktury centra a na mzdové prostředky pro mezinárodně uznávané výzkumné pracovníky. Výzkumná náplň projektu je v souladu s již existujícím výzkumem na FIT -- softwarové a znalostní inženýrství, vytěžování dat, paralelní výpočty. Díky mezinárodním kontaktům členů výzkumného týmu projektu BigCode centrum následně předpokládá získávání podpory od předních softwarových firem, jako jsou Google a Oracle.