Wananga landing Wananga landing

Theoretical Computer Science

31 January 2024

UC's Theoretical Computer Science research group examines everything from algorithms to logic. Learn more about our research and meet our people.

Research Areas
  • algorithms and data structures
  • computability and complexity
  • formal languages, grammars and automata
  • formal methods of software engineering
  • logic, theorem proving and verification
  • programming language concepts and compilers
  • semantics of programs and specifications




Contact us
Privacy Preferences

By clicking "Accept All Cookies", you agree to the storing of cookies on your device to enhance site navigation, analyse site usage, and assist in our marketing efforts.