Coordenadas : 55°55′16.5″N 3°10′25″W / 55.921250°N 3.17361°W / 55.921250; -3.17361
El Laboratorio de Fundamentos de la Informática (LFCS) es un instituto de investigación perteneciente a la Facultad de Informática de la Universidad de Edimburgo , en Escocia . Fue fundado en 1987 por Rod Burstall , Robin Milner , Gordon Plotkin y Matthew Hennessy . [ 1 ] Es una comunidad de científicos informáticos teóricos con intereses en concurrencia , semántica , categorías , álgebra , tipos , lógica , algoritmos , complejidad , bases de datos y modelado. [ 2 ]
Referencias
Enlaces externos
- Sitio web de LFCS
- Gente
55°55′16.5″N 3°10′25″W / 55.921250°N 3.17361°W / 55.921250; -3.17361
Categorías :
- Escuela de Informática de la Universidad de Edimburgo
- Ciencia y tecnología en Edimburgo
- Establecimientos en Escocia en 1987
- Institutos de investigación establecidos en 1987.
- Esbozos de educación de Escocia
- Esbozos de organizaciones escocesas
- esbozos de universidades del Reino Unido
- Esbozos de informática teórica