The theory of distributed computing was originally developed primarily to understand computation in large computer networks, such as the Internet. However, in recent years this theory has found new uses, as researchers have discovered e.g. new connections between distributed computing and different fields of mathematics. Theory of distributed computing is also used for example to study the limitations of quantum computation. In this project we develop a new, more robust foundation for the theory of distributed computing. Our goal is to produce results that are easier to apply also in new situations. We also aim at making the key results more reliable: here we make use of e.g. mathematical proofs that are written in a form that makes it possible to automatically verify them with computers.

2024

2028