Research helps students gain in-depth knowledge and valuable experience that allows them to become even more effective problem solvers, applying software in a variety of disciplines.

Two students working on laptops
Learn more


The mission of CISA is to conduct research in information assurance and computer security, teach students about information assurance and collaborate in the professional community.

CS professor teaching

High-assurance software engineering

The SAnToS Lab conducts research on a range of topics in programming language semantics, analysis and software engineering.

Learn more
CS faculty and grad students working in a lab

Cyber-physical systems

Cyber-physical systems research explores design, development, analysis, verification and validation of embedded control systems.

Learn more
Three students working in CS lab

Artificial intelligence and data science

Our core strengths include approaches to the analysis of natural language text; linked, spatial and temporal data; security data; and biological data.

Learn more