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.
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.
High-assurance software engineering
The SAnToS Lab conducts research on a range of topics in programming language semantics, analysis and software engineering.
Cyber-physical systems research explores design, development, analysis, verification and validation of embedded control systems.
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.