Theory of Computation

We conduct primarily theoretical research into the nature of computing. The aim is to prove universal results concerning the problems that can, and particularly, cannot be solved by computers or other computing devices.
More info about the group TBA