Swansea Theory Group
My blogs
| Introduction | The Swansea Theory Group is internationally renowned for its research in Logic in Computer Science. The active research areas are: Computability Theory, Computational Complexity, Proof Theory, Type Theory, Game Theory, Algorithms, Formal Methods, Cyber Security, Blockchain Technology, Verification of Railway Control Systems, and Artificial Intelligence. |
|---|