Welcome to LFCS

The Laboratory for Foundations of Computer Science (LFCS) is one of seven research institutes in the School of Informatics at the University of Edinburgh. It was founded in 1987 and is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling.

The mainspring of research in LFCS is the study of theories which underlie, or should in future underlie, the analysis and design of computing systems. Our work has a core of theoretical research and a practical component which explores application and implementation of the theory. Several research groups exist within LFCS.

Algorithms and Complexity Group
Database Group
Mobility and Security Group
PEPA Group
Links Project
Programming Languages and Foundations

Document Actions

Print this

Upcoming Events: LFCS seminar : Magnus Myreen: CakeML: a formally verified implementation of ML IF 2.33,
May 11, 2015; Lab Lunch by Brian Campbell May 12, 2015; LFCS seminar: Neelakantan (Neel) Krishnaswami May 19, 2015; Previous events…; Upcoming events…

News: Wenfei Fan wins ERC Advanced Fellowship Apr 15, 2015; Congratulations to Leonid Libkin, Wenfei Fan, Sebastian Maneth and Peter Buneman Mar 09, 2015; Congratulations to Vincent Danos Mar 09, 2015; Congratulations to Wenfei Fan and Floris Geerts Feb 13, 2015; Congratulations Alireza Pourranjbar Feb 10, 2015; More news…

Powered by Plone
Valid XHTML
Valid CSS
Section 508
WCAG

gipoco.com is neither affiliated with the authors of this page or responsible
for its contents. This is a safe-cache copy of the original web site.

gipoco.com is neither affiliated with the authors of this page nor responsible for its contents. This is a safe-cache copy of the original web site.