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
Resources