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

• Walter Guttmann: Director; Computer Science and Software Engineering

Members - UC Staff

• Walter Guttmann: Director; Computer Science and Software Engineering
• Kourosh Neshatian: Member; Computer Science and Software Engineering

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

• Theoretical Computer Science website