Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Laboratory for Foundations of Computer Science
open-in-new
<p> The Laboratory for Foundations of Computer Science (LFCS) is a research institute within the <a href="/facts/University_of_Edinburgh_School_of_Informatics/hpzdxm6N">School of Informatics</a> at the <a href="/facts/University_of_Edinburgh/L69HscH9">University of Edinburgh</a>, in <a href="/facts/Scotland/VGwbbxB2">Scotland</a>. It was founded in <a href="/facts/1987/pThGJW7B">1987</a> by <a href="/facts/Rod_Burstall/BhNTxat5">Rod Burstall</a>, <a href="/facts/Robin_Milner/oMfdsRwK">Robin Milner</a>, <a href="/facts/Gordon_Plotkin/2CrnVkVj">Gordon Plotkin</a> and <a href="/facts/Matthew_Hennessy/Naz7CSMI">Matthew Hennessy</a>. It is a community of theoretical <a href="/facts/Computer_scientist/DavggjGL">computer scientists</a> with interests in <a href="/facts/Concurrency_(computer_science)/Ctnrrq4A">concurrency</a>, <a href="/facts/Semantics_(computer_science)/JEP1zyBv">semantics</a>, <a href="/facts/Category_theory/6zS3DXPa">categories</a>, <a href="/facts/Algebra/nMdqczjo">algebra</a>, <a href="/facts/Type_theory/xj0xzVqI">types</a>, <a href="/facts/Formal_logic/SaI7Y3wN">logic</a>, <a href="/facts/Algorithm/fnl5NmRt">algorithms</a>, <a href="/facts/Computational_complexity_theory/etHuVF3U">complexity</a>, <a href="/facts/Database_theory/unyQa3cK">databases</a> and modelling. </p>