Laboratory for Foundations of Computer Science
- Laboratory for Foundations of Computer Science
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.
Selected members
Current
*Julian Bradfield
*Peter Buneman
*Vincent Danos
*Kousha Etessami
*Wenfei Fan
*Michael Fourman
*Jane Hillston
*Leonid Libkin
*Gordon Plotkin FRS
*Don Sannella
*Colin Stirling
*Philip Wadler
*Mary Cryan
*Alex Simpson
*Ian D. B. Stark
Previous
*Samson Abramsky
*Rod Burstall
*Luca Cardelli
*Martin Grohe
*Matthew Hennessy
*Mark Jerrum
*Christoph Koch
*Robin Milner
*Faron Moller
*David Pym
*Nicole Schweikardt
*Mads Tofte
*Glynn Winskel
* [http://www.cs.berkeley.edu/~sinclair/ Alistair Sinclair]
External links
* [http://www.lfcs.inf.ed.ac.uk/ LFCS website]
* [http://www.lfcs.inf.ed.ac.uk/people/ People]
Wikimedia Foundation.
2010.
Look at other dictionaries:
Computer science — or computing science (abbreviated CS) is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems. Computer scientists invent algorithmic… … Wikipedia
List of pioneers in computer science — This article presents a list of individuals who helped in the creation, development and imagining of what computers and electronics could do. Contents 1 See also 2 External links Person Achievement Ach. Date John Atanasoff Built the first… … Wikipedia
Computer graphics (computer science) — This article is about the scientific discipline of computer graphics. For other uses see Computer graphics (disambiguation). A modern render of the Utah teapot, an iconic model in 3D computer graphics created by Martin Newell in 1975. Computer… … Wikipedia
Department of Computer Science, University of Oxford — Location of The Department of Computer Science, U … Wikipedia
Department of Computer Science, FMPI, Comenius University — The Department of Computer Science is a department of the Faculty of Mathematics, Physics and Informatics at the Comenius University in Bratislava, the capital of Slovakia. It is headed by Prof. RNDr. Branislav Rovan, Phd. Contents 1 Educational… … Wikipedia
Department of Computer Science, FPMI, Comenius University — The Department of Computer Science is a department of the Faculty of Mathematics, Physics and Informatics at the Comenius University in Bratislava, the capital of Slovakia. It is headed by Prof. RNDr. Branislav Rovan, Phd. Educational and… … Wikipedia
History of computer science — The history of computer science began long before the modern discipline of computer science that emerged in the twentieth century. The progression, from mechanical inventions and mathematical theories towards the modern concepts and machines,… … Wikipedia
computer — computerlike, adj. /keuhm pyooh teuhr/, n. 1. Also called processor. an electronic device designed to accept data, perform prescribed mathematical and logical operations at high speed, and display the results of these operations. Cf. analog… … Universalium
Computer graphics — This article is about graphics created using computers. For the article about the scientific study of computer graphics, see Computer graphics (computer science). For other uses, see Computer graphics (disambiguation). A Blender 2.45 screenshot,… … Wikipedia
Science — This article is about the general term, particularly as it refers to experimental sciences. For the specific topics of study by scientists, see Natural science. For other uses, see Science (disambiguation) … Wikipedia