Menu

Wananga landing Wananga landing
Topic

Theoretical Computer Science

27 August 2024

UC's Theoretical Computer Science research group studies the mathematical foundations of computation including algorithms, formal methods and logic. Learn more about our research.

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

 

Students

 

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.