Personal tools
 
You are here: Home

Welcome to LFCS

The Laboratory for Foundations of Computer Science is a research institute within the School of Informatics at the University of Edinburgh.

We are a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling.

   

Colour image

Document Actions