Abacus Distributed Storage
Aims to design and develop distributed and parallel storage systems with high scalability, performance, reliability and availability.
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.
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.
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.
(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.