Laboratory for Foundations of Computer Science
Encyclopedia
The Laboratory for Foundations of Computer Science (LFCS) is based in the School of Informatics
at the University of Edinburgh
, Scotland
. It has an international reputation in theoretical computer science
, mathematical logic
and category theory
.
University of Edinburgh School of Informatics
The School of Informatics is an academic unit of the University of Edinburgh, in Scotland, responsible for research, teaching, outreach and commercialisation in Informatics....
at the University of Edinburgh
University of Edinburgh
The University of Edinburgh, founded in 1583, is a public research university located in Edinburgh, the capital of Scotland, and a UNESCO World Heritage Site. The university is deeply embedded in the fabric of the city, with many of the buildings in the historic Old Town belonging to the university...
, Scotland
Scotland
Scotland is a country that is part of the United Kingdom. Occupying the northern third of the island of Great Britain, it shares a border with England to the south and is bounded by the North Sea to the east, the Atlantic Ocean to the north and west, and the North Channel and Irish Sea to the...
. It has an international reputation in theoretical computer science
Theoretical computer science
Theoretical computer science is a division or subset of general computer science and mathematics which focuses on more abstract or mathematical aspects of computing....
, mathematical logic
Mathematical logic
Mathematical logic is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...
and category theory
Category theory
Category theory is an area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as collections of objects and arrows , where these collections satisfy certain basic conditions...
.
Current
- David Aspinall
- Julian Bradfield
- Peter BunemanPeter BunemanOscar Peter Buneman FRS, FRSE is a British computer scientist who works in the areas of database systems and database theory.Buneman received his PhD in mathematics from the University of Warwick, in 1970. After that he worked briefly at the University of Edinburgh, followed by a professorship of...
FRS - Mary Cryan
- Vincent Danos
- Kousha Etessami
- Wenfei Fan
- Michael FourmanMichael FourmanMichael Paul Fourman, FBCS is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001-2009....
Fellow BCS - Stephen Gilmore
- Jane HillstonJane HillstonJane Hillston is Professor of Quantitative Modelling and an EPSRC Advanced Research Fellow in the School of Informatics, University of Edinburgh, Scotland....
- Paul JacksonPaul JacksonPaul Jackson may refer to:*Paul Jackson , British television producer*Paul Jackson , British video game publisher*Paul Jackson , English rugby league player...
- Leonid Libkin
- John Longley
- Richard MayrRichard MayrRichard Mayr was an Austrian operatic bass-baritone who was particularly admired for his performances in works by Wolfgang Amadeus Mozart, Richard Wagner and Richard Strauss...
- Gordon PlotkinGordon PlotkinGordon D. Plotkin, FRS, FRSE is a Scottish computer scientist.Gordon Plotkin is best-known for his introduction of structural operational semantics and his work on denotational semantics. In particular, his notes on A Structural Approach to Operational Semantics of 1981 were very influential...
FRS - Don SannellaDon SannellaDonald T. Sannella is Professor of Computer Science in the Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland. His research interests include: algebraic specification and formal software development, correctness of modular systems, types and...
- Perdita Stevens
- Colin Stirling
- Ian Stark
- Alex Simpson
- Philip WadlerPhilip WadlerPhilip Wadler is a computer scientist known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming and the use of monads in functional programming, the design of the purely functional language Haskell, and...
Fellow ACM
Previous
- Samson AbramskySamson AbramskySamson D. Abramsky FRS, FRSE is a computer scientist who currently holds the Christopher Strachey Professorship at Oxford University Computing Laboratory. He is well known for playing a leading role in the development of game semantics...
- Rod BurstallRod BurstallRodney Martineau Burstall is one of four founders of the Edinburgh Laboratory for Foundations of Computer Science.He was an early and influential proponent of functional programming, pattern matching, and list comprehension, and is known for his work with Robin Popplestone on POP, an innovative...
- Luca CardelliLuca CardelliLuca Cardelli is an Italian computer scientist who is currently an Assistant Director at Microsoft Research in Cambridge, UK. Cardelli is well-known for his research in type theory and operational semantics. Among other contributions he implemented the first compiler for the functional programming...
- Rocco De Nicola
- Javier Esparza
- Martin Grohe
- Matthew HennessyMatthew HennessyMatthew Hennessy is an Irish computer scientist who has contributed especially to concurrency , process calculi and programming language semantics....
- Mark JerrumMark JerrumMark Richard Jerrum is a British computer scientist and computational theorist.Jerrum received his Ph.D. in computer science in 1981 from University of Edinburgh under the supervision of Leslie Valiant...
- Christoph Koch
- Robin MilnerRobin MilnerArthur John Robin Gorell Milner FRS FRSE was a prominent British computer scientist.-Life, education and career:...
FRS - Eugenio MoggiEugenio MoggiEugenio Moggi is a professor of computer science at the University of Genoa, Italy.He first described the general use of monads to structure programs.- Biography :Academic qualifications:* Ph.D...
- Faron MollerFaron MollerFaron George Moller is a Canadian-born British computer scientist and expert on theoretical computer science, particularly infinite-state automata theory and temporal logic...
- John PowerJohn PowerJohn Timothy Power is an English singer-songwriter and musician from Liverpool, England. Power achieved commercial success as the bass guitarist and secondary vocalist for The La's from 1986 to 1991, and later as the frontman of Cast during the Britpop movement of the mid-1990s.Following the split...
- David Pym
- Davide SangiorgiDavide SangiorgiDavide Sangiorgi is professor of computer science at the University of Bologna. He is the chairman of IFIP Working Group 2.2 on the formal description of programming concepts.- Selected publications :...
- Nicole Schweikardt
- Chris ToftsChris ToftsChris Tofts is an English computer scientist.Chris Tofts studied mathematics as an undergraduate at Clare College, Cambridge, followed by a Diploma in Computer Science from the same college. He went on to do a PhD supervised by Robin Milner in the Laboratory for Foundations of Computer Science at...
- Mads TofteMads TofteMads Tofte is a Danish computer scientist who has contributed in particular to Functional programming and the Standard ML programming language.In April 1999 he was appointed the first managing director of the IT University of Copenhagen...
- Glynn Winskel
- Alistair Sinclair