Abacus Distributed Storage
Aims to design and develop distributed and parallel storage systems with high scalability, performance, reliability and availability.
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.
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.
ESQuaReD
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.
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.
MBiTe
The Molecular and Biochemical Telecommunications (MBiTe) Lab explores the application of telecommunications systems modeling, engineering and characterization in the realm of molecules, chemical reactions, and biological processes for the future realization of networks at the nanoscale (nanonetworks).
Nimbus
(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.
SSBI
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.
