The Abacus Distributed Storage Lab(ADSL), located inside the Schorr Center on the University of Nebraska-Lincoln's City Campus, aims to design and develop distributed and parallel storage systems with high scalability, performance, reliability and availability.
Constraint Systems Lab
The Constraint Systems Lab addresses both theoretic and practical aspects of Constraint Processing (CP), a sub-area of Artificial Intelligence. CP provides powerful tools for modeling and solving effectively a wide variety of combinatorial problems spanning over Computer Science, Engineering, and Management.


The Cyber-Physical Networking Laboratory, performs research on the design, analysis, and development of networks that are aware of, can adopt to, and change their environment. The research topics include cross-layer communication, real-time networking, wireless underground sensor networks, mobile sensor networks, and cognitive radio wireless networks.

ESQuaReD Lab


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.


The Holland Computing Center provides campus-wide services to researchers who need high performance computing resources. PrairieFire, a powerful supercomputer located in the facilty, is used by scientists and engineers to study topics such as nanoscale chemistry, subatomic physics, meteorology, crashworthiness, and artificial intelligence.


The NIMBUS (Nebraska Intelligent MoBile Unmanned Systems) Lab is an exciting place where the latest research and technology in software and systems engineering, robotics, and sensor networks converges to develop more capable and dependable UAVs.