Research Groups & Facilities

Research Groups &  Facilities
Research Groups & Facilities
ADSL logo

Abacus Distributed Storage

Aims to design and develop distributed and parallel storage systems with high scalability, performance, reliability and availability.

CSL logo

Constraint Systems

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 multiple disciplines.

CPN Logo

Cyber-Physical Network

Networks that are aware of, can adopt to, and change their environment. Research topics include cross-layer communication, real-time networking, underground sensor networks, mobile sensor networks, and cognitive radio networks.

E2 Pic


Research on methodologies and tools for creating sufficiently dependable software. Focus areas: software verification and validation, program analysis, empirical software engineering, software modeling and design, and domain specific software engineering techniques.

HCC pic

Holland Computing Center

Provides campus-wide services to researchers who need high performance computing resources. Used by scientists and engineers to study topics such as nanoscale chemistry, subatomic physics, meteorology, crash-worthiness, and Artificial Intelligence.

Nimbus Logo


(Nebraska Intelligent MoBile Unmanned Systems) 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.



Research into complex biological systems through data integration, analytics, computational modeling and knowledge discovery, to understand cellular responses to environmental stimuli, and to elucidate the molecular interaction network involved in complex biological processes such as human diseases.