Students benefit from being part of one of the largest and strongest groups of theoretical computer scientists in the world. Our research is aimed at establishing deep understanding of computation in its many forms. Using advanced mathematical principles, we create theories and software tools allowing fundamental capabilities of computation to be explored, as well as designing languages that can be used to construct safe and effective programs. Areas of interest within LFCS include verification, semantics, concurrency, process algebra, algorithms, logic and complexity. While the results of our research can be applied to any one of a large number of diverse fields, biological modelling is of particular interest. Advances in experimental techniques mean that cell biologists need innovative tools and software to understand the vast quantities of data that are being generated. Other areas where our research is applied include: computer security; database systems; software analysis; programming language design; performance analysis.