The Computer Science Laboratory studies the logical foundations of scalable systems that are beyond the scope of traditional testing or simulation, and builds and applies efficient high-level tools for rigorous mechanical analysis. Current systems of interest include not only traditional computer hardware and software, but also biological systems and nano electronics. The Computer Science Laboratory (CSLab) is the department's research facility, providing research computing services and infrastructure to the department's various research groups. It is distinct from the department's teaching laboratories, the Computing Disciplines Facility and so on.