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 fosters 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.
