Discontinuous Computation: Theory, Models, Methods, Applications

This dissertation topic is available for Czech studies only.

Starting from the entire body of knowledge concerning formal models of discontinuous computation, this project will proceed towards the development of new versions of these models, which reflect the current discontinuous computation in a more sophisticated and adequate way. Properties of these newly developed systems will be studied in detail. Their applications will be discussed an implemented all scientific areas that involve discontinuous computation, such as in bioinformatics.

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