Téma disertační práce

Formální modely distribuovaného výpočtu

Ak. rok 2024/2025

Školitel: Meduna Alexandr, prof. RNDr., CSc.

Ústav: Ústav informačních systémů

Programy:
Informační technologie (DIT) - prezenční studium
Informační technologie (DIT) - kombinované studium

Řešení tohoto projektu bude vycházet ze stávajících poznatků o formálních systémech distribuovaného výpočtu. Cílem je konstrukce a výzkum nových automatových a gramatických systémů, které adekvátním způsobem odrážejí potřeby moderních výpočetních metod založených na distribuci. Aplikace těchto systémů se budou soustředit na modelování a výzkum organismů v molekulární biologii a překladačích.

Výsledky prvního roku řešení problému budou publikovány v Acta Informatica v 2023.

Nahoru