Výzkumná témata
Dynamické chytré systémy
Návrh a vývoj chytrých kyberfyzikálních systémů (Smart Cyber-physical Systems - sCPS) a IoT je náročný kvůli potřebě spolehlivosti, přizpůsobivosti a provozu v dynamických prostředích. Tyto systémy často vyžadují decentralizovanou koordinaci a adaptaci, což přidává na složitosti problému. Abychom toto vyřešili, používáme různé techniky, včetně moderních metod řízených strojovým učením, které umožňují chytrou spolupráci a samoadaptaci.
Kontakt: Tomáš Bureš, Petr Hnětynka
Chci se dozvědět víc!
Extrémní experimenty
Naším cílem je navrhnout nové přístupy k analýze dat zaměřené na experimentování a zpětnou vazbu uživatelů, které poskytují přesné a důvěryhodné poznatky pro komplexní rozhodovací procesy. Integrujeme pokročilé technologie, jako je strojové učení, velká data a vysvětlitelná AI, aby personalizovala výsledky a optimalizovala zdroje. Zaměřujeme se na zlepšování kritických aplikací a podporu rozhodování v reálném čase tím, že sladíme analytické pracovní postupy s konkrétními požadavky uživatelů.
Kontakt: Tomáš Bureš, Petr Hnětynka
Chci se dozvědět víc!
Měření a vyhodnocování výkonnosti
Rádi měříme, jak je software rychlý.
A taky proč je pomalejší než v předchozí verzi.
Pracujeme na automatické detekci regresí výkonu, vyvíjíme Renaissanci
(sada benchmarků pro JVM) a máme výkonnostní data z 10 let měření
překladače GraalVM.
Kontakt: Lubomír Bulej, Vojtěch Horký, Petr Tůma
Chci se dozvědět víc!
Paralelní a HPC výpočty
Rychlost je nezbytnou součástí softwaru v mnoha odvětvích.
Rychlejší programy nám dají výsledky dříve nebo mohou počítat s většími
objemy dat.
Rychlost je také klíčem k energeticky efektivnějším výpočtům.
Naše projekty se zaměřují na zlepšování výkonu pomocí optimalizací kódu,
paralelních výpočtů nebo využítí speciálního hardwaru (zejména GPU).
To vyžaduje hluboké znalosti nejen použitého hardwaru, ale i programovacích
jazyků a překladačů.
Kontakt: Martin Kruliš
Chci se dozvědět víc!
Programovací jazyky a systémy
Programování má bohatou historie a nezná hranic! Připojte se k nám, nejen pokud chcete zlepšit
stávající programovací nástroje, ale také abyste s námi vymysleli nové způsoby vytváření
programů a prozkoumali bohatou historii tohoto oboru!
Naše projekty zahrnují témata jako typové systémy, ale také interaktivní programovací
prostředí nebo programování v kontextu práce s daty.
Kontakt: Tomáš Petříček, Joel Jakubovic, Aleks Boruch-Gruszecki, Jan Vitek
Chci se dozvědět víc!
Spolupráce s průmyslem
Pomůžeme vám najít externí vedoucí prací či projektů, které souvisí
s konkrétními průmyslovými aplikacemi/produkty.
V tomto ohledu spolupracujeme s firmami jako jsou
JetBrains, IBM, Oracle, RedHat, SUSE či SysGo.
Chci se dozvědět víc!
Systémy (tj. blíže k hardwaru než k aplikaci)
Zaměřujeme se na projekty související s operačními systémy
(konec konců, HelenOS začal na naší fakultě), překladači, middleware,
dynamickou analýzu programů nebo systémové emulátory
(třeba jako MSIM, který znáte z výuky Operačních systémů).
Kontakt: Lubomír Bulej, Vojtěch Horký, Petr Tůma
Chci se dozvědět víc!
Verifikace programů
Použití formálních metod, například statické analýzy nebo model checkingu,
ještě před dodáním programů zákazníkovi je jeden ze způsobů jak zlepšit
správnost a bezchybnost programů.
Pracujeme a vylepšujeme v obou hlavních směrech – zlepšujeme verifikační
nástroje a navrhujeme lepší přístupy či algoritmy.
Chcete si vyzkoušet, jaké to je programy verifikovat a ne je pouze testovat?
Kontakt: Jan Kofroň, Pavel Parízek
Chci se dozvědět víc!