The research at the Constraint Systems Lab encompasses both theoretic and practical aspects of constraint processing, a sub-area of artificial intelligence that provides the right tools to model and solve a wide variety of problems in many areas of computer science.
The Cyber-Physical Networking Lab is an international research hub that focuses on taking networked systems to the physical world and practical aspects of technology.
The Laboratory for Empirically-based Software Quality Research and Development Lab is an internationally renowned software engineering lab that uses design and verification concepts to solve everyday software engineering problems and create more dependable systems.
The Holland Computing Center boasts the fastest resources in the state of Nebraska at two locations: the Peter Kiewit Institute (PKI) at Omaha and the Schorr Center at UNL. Personnel based in each location assist users, engage students and researchers, and maintain systems.
The Intelligent Agents and Multiagent Systems Lab studies foundational and applied research and development in intelligent agents and multiagent systems.
The ICE Lab works on design, analysis, evaluation, measurement, automated testing, and formal verification of Internet protocols to make the complicated Internet Correct and Efficient.
The Molecular and Biochemical Communications Lab applies communication and engineering tools to propagate artificial information in biological and biochemical systems and environments, such as genetically engineered bacteria and the human body to create novel biological computing networks.
The Networks Research Group works on broad areas of networking and security research with focus on creating and building efficient, scalable, reliable, secure and cost-effective architectures and systems.
The Nebraska Intelligent MoBile Unmanned Systems Lab is an exciting place where the latest research and technology in software development, systems engineering, robotics, and sensor networks converge to develop more capable and dependable UAVs.
The Systems Biology and Biomedical Informatics Lab’s research explores complex biological systems through data analysis, computational modeling, cellular responses to environmental stimuli, and the molecular interaction involved in biological networks.
This research of the Software Engineering Research and Empirical Studies (SERES) Lab involves the construction of techniques, tools, and environments to assist in program comprehension, software evolution, software visualization, and software traceability.
The Visualization Lab studies novel solutions to analyze, visualize, and communicate big data at high interactivity and fidelity. This team investigates theories and technologies that ensure the scalability of end-to-end big data analysis and visualization workflow.