Dissertation Topic
Formal Models of Distributed Computation
Academic Year: 2024/2025
Supervisor: Meduna Alexandr, prof. RNDr., CSc.
Department: Department of Information Systems
Programs:
Information Technology (DIT) - full-time study
Information Technology (DIT) - combined study
This dissertation topic is available for Czech studies only.
Ř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.