place

Laboratory for Foundations of Computer Science

1987 establishments in ScotlandEducational institutions established in 1987Science and technology in EdinburghScotland education stubsScottish organisation stubs
Theoretical computer science stubsUnited Kingdom university stubsUniversity of Edinburgh School of InformaticsUse British English from December 2016

The Laboratory for Foundations of Computer Science (LFCS) is a research institute within the School of Informatics at the University of Edinburgh, in Scotland. 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.

Excerpt from the Wikipedia article Laboratory for Foundations of Computer Science (License: CC BY-SA 3.0, Authors).

Laboratory for Foundations of Computer Science
West Mains Road, City of Edinburgh Blackford

Geographical coordinates (GPS) Address Nearby Places
placeShow on map

Wikipedia: Laboratory for Foundations of Computer ScienceContinue reading on Wikipedia

Geographical coordinates (GPS)

Latitude Longitude
N 55.92125 ° E -3.1736111111111 °
placeShow on map

Address

University of Edinburgh - King's Buildings Campus

West Mains Road
EH9 3BG City of Edinburgh, Blackford
Scotland, United Kingdom
mapOpen on Google Maps

Share experience

Nearby Places

SIRCAMS

The Scottish Instrumentation and Research Centre for Advanced Mass Spectrometry (SIRCAMS) is a facility for ultra-high resolution mass spectrometry of biomolecules. SIRCAMS is based in the University of Edinburgh School of Chemistry.Much of the research activity is focused toward the development and application of mass spectrometry for the analysis of intact peptides, proteins, protein–protein, and protein–RNA/DNA complexes. Recent studies have included: identification of platination sites in peptides (bombesin, substance P, angiotensin, bradykinin) using Infrared multiphoton dissociation (IRMPD), Collision-induced dissociation (CID) and Electron-capture dissociation (ECD), accurate mass measurements on intact proteins (YdaE 6.5kDa, ubiquitin 8.6kDa, trypsinogen 24kDa, carbonic anhydrase 28kDa, beSOD 31kDa, FbpA 33kDa, BSA 66kDa) under native and denaturing conditions, identification of dynamic post-translational modifications in intact human histones using top-down ECD, top-down identification of proteins from complex mixtures, as well as accurate mass analysis of oligonucleotide DNA strands (40 bp). The capital cost of FTICR instruments operating at field strengths higher than 9.4 T are such that few University institutions worldwide can offer access. SIRCAMS offers user access to a 12T Bruker SolariX FTICR mass spectrometer within the facility. By taking advantage of the research expertise that has been developed by staff within the facility, users have access to techniques for accurate mass measurement of intact proteins with isotope peak fitting, top-down protein sequencing from complex mixtures (such as biomarker identification) solution and gas-phase HDX for protein conformational studies, mapping of post-translational modifications in peptides and proteins, and identification of DNA modifications.