Theoretical Computer Science (TCS)

Introduction

Members of the Division advance mathematical theory and apply it to problems in: theoretical computer science, cryptography, mathematical logic, geometric computation, intelligent systems and numerical analysis.

Division Website: http://www.lboro.ac.uk/departments/co/research/tcs/

Division contact: Dr Helmut Bez - Leader TCS

Keywords and Topics

• Algorithmic Learning Theory
• Formal Languages
• Combinatorics on Words
• Error Correcting Codes
• Cryptography Sequences
• Temporal Logic
• Transactional Concurrency
• Graph Theory
• Rational Parametrisation
• Image Processing
• Numerical Solution of Linear Systems
• Numerical Linear Algebra
• Scientific Computation
• Computability Theory
• Algebraic Structures
• Online Algorithms

Core Computer Science Staff

• Dr Paul Bell
• Dr Helmut Bez
• Dr Walter Hussak
• Dr Daniel Reidenbach
• Dr Ana Sălăgean