Ing. Jiří Khun

  • Profil
  • Projekty

Projekty

Algoritmy pro paralelní a distribuované počítačové systémy

Program
Studentská grantová soutěž ČVUT
Kód
SGS14/106/OHK3/1T/18
Období
2014
Popis
Navrhovaný projektu navazuje na předchozí výzkum a vývoj v oblasti paralelních a distribuovaných výpočetních systémů a zabývá se oblastmi masivně paralelních počítačů, výpočetních klastrů, globálních gridových systémů a GPU architektur. Konkrétně se projekt zaměří: 1) na výzkum architektury nededikovaných klastrů se zaměřením na návrh distribuovaného plánovače úloh pro takové klastry, 2) na návrh efektivních algoritmů pro určení parametrů krystalové struktury získaných pomocí difrakční spektroskopie na masivně paralelních GPU klastrech, 3) na paralelizaci algoritmů inspirovaných imunitními systémy na GPU klastrech, 4) na vývoj efektivních algoritmů pro získání dat pro vizualizaci velmi velkých řídkých matic, mapovaných řádkově/sloupcově na masivně paralelní superpočítače, 5) na výzkum heuristických algoritmů po přidělování výpočetních prostředků v celosvětových výpočetních gridech.

Kryptologie a bezpečnost

Program
Studentská grantová soutěž ČVUT
Kód
SGS15/120/OHK3/1T/18
Období
2015
Popis
Výzkumná skupina Aplikovaná numerika a kryptografie se dlouhodobě zabývá výzkumem různých bezpečnostních součástí informačních systémů. Je to zejména výzkum a vývoj skutečně náhodných generátorů čísel a fyzikálně neklonovatelných funkcí, kryptoanalýza blokových a proudových šifer, faktorizace velkých čísel a řešení rozsáhlých soustav lineárních rovnic. Také navrhovaný projekt se tematicky zabývá těmito oblastmi výzkumu.

Návrh, programování a verifikace inteligentních vestavných systémů

Program
Studentská grantová soutěž ČVUT
Kód
SGS23/208/OHK3/3T/18
Období
2023 - 2025
Popis
Projekt se zabývá číslicovým návrhem zaměřeným na tzv. inteligentní vestavné systémy. Zaměřuje se na studium nejnovějších trendů v technologiích a jejich využití zejména v tzv. "mission-critical" aplikacích, kde využívá umělou inteligenci (např. neuronové sítě) a aproximativní výpočty. Návrh takových systémů musí zohledňovat požadavky nejen na funkčnost, ale i na další omezující podmínky: spolehlivost, bezpečnost, odolnost proti útokům, velikost, spotřebu a real-timové garance. Proto budeme využívat nové metody, algoritmy a návrhové prostředky (EDA tools) a hledat, navrhovat a upravovat vhodné modely, které umožní testovat, predikovat i formálně verifikovat požadované funkce a chování systému.

Návrh, programování a verifikace vestavných systémů

Program
Studentská grantová soutěž ČVUT
Kód
SGS20/211/OHK3/3T/18
Období
2020 - 2022
Popis
Projekt se zabývá číslicovým návrhem zaměřeným na vestavné systémy. Zaměřuje se na studium nejnovějších trendů jednak v technologiích a jejich využití i v tzv. "mission-critical" aplikacích. Návrh takových systémů musí zohledňovat požadavky nejen na funkčnost, ale i na další omezující podmínky, tzn., že musí splňovat požadovanou úroveň spolehlivosti, bezpečnosti, odolnosti proti útokům, velikost, spotřebu a real-timové garance. Proto budeme využívat nové metody, algoritmy a návrhové prostředky (EDA tools) a hledat, navrhovat a upravovat vhodné modely, které umožní testovat, predikovat i formálně verifikovat požadované funkce a chování systému.