Research Labs & Facilities
ADSL, The Abacus Distributed Storage Lab, aims to design and develop distributed and parallel storage systems with high scalability, performance, reliability and availability.
ANDES, Advanced Networking & Distributed Experimental Systems Lab is located in the Research Computing Facility in downtown Lincoln. The goals of the ANDES Lab are to foster research in the following core areas: high-speed computer network architectures and protocols, networking support for multimedia services, distributed heterogeneous computing, and real-time systems and protocols.
The Constraint Systems Lab investigations cover both theoretic and practical aspects of Constraint Processing, a sub-area of Artificial Intelligence. Constraint Processing provides powerful tools for modeling and solving effectively a wide variety of combinatorial problems spanning over Computer Science, Engineering, and Management.
ESQuaReD, (read as e2), the laboratory for Empirically-based Software Quality Research and Development, performs fundamental research on methodologies and tools for creating sufficiently dependable software. The focus areas are: software verification and validation, program analysis, empirical software engineering, software modeling and design, and domain specific software engineering techniques.
RCF, The Research Computing Facility, is a facility available campus-wide to researchers who require numerical processing on a large scale. RCF aims to facilitate computationally intensive research by developing ongoing collaborative partnerships with research groups, providing user training and support to utilize parallel and other high performance resources.
