Formal Models of Distributed Computation

This dissertation topic is available for Czech studies only.

Starting from the entire body of knowledge concerning formal systems of distributed computation, this project will proceed towards the development of new versions of these systems, which reflect the current distributed computation in a more sophisticated and adequate way. Properties of these newly developed systems will be studied in detail. Their applications will be primarily discussed an implemented in bioinformatics and language translators.

The first results will be published in Acta Informatica in 2025.