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
People
Coming soon
This content is temporarily unavailable because the system it is fetched from cannot be reached. The rest of the site works as usual.
Status is available on the operating status page.
Contact
Coming soon