Research Groups & Facilities

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 dedicated to the field of next-generation wireless networks. This lab focuses on innovations in wireless networks of systems that are aware of, can timely adapt to, and change their environment.

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 Intelligent Agents and Multiagent Systems Lab studies foundational and applied research, development, simulation, and agent-based modeling 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.

Intelligent Device-2–Applications Lab research spans the areas of design and implementation of cross-layer (device, circuit, architecture) co-design for implementing complex machine learning tasks and secure computation, including hardware security, and the security of artificial intelligence.

The Intelligent Network sysTem (INT) Laboratory focuses on cutting-edge network system research, including wireless networks, edge computing, autonomous driving, and mobile metaverse.

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 Research and Innovation in Computing Education Lab studies computer science education research, including CS courses, computational thinking, broadening participation in computing, and K-12 professional development for teachers.

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.

Security, Wireless & Ad hoc Networks (SWAN) Lab research focuses on network security and privacy with applications to emerging wireless networks, cyber-physical systems, Internet-of-things, aviation and transportation networks, and the interaction between cybersecurity and social networks.

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.