Theoretical Computer Science

Research Group Summary

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

Key Contact

Members - UC Staff

Subject Area: Disciplines

  • Computer Science, Information Technology, Information Sciences: Computer Science