
Research
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.

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

Our core strengths include approaches to the analysis of natural language text; linked, spatial and temporal data; security data; and biological data.
The following are our department’s rankings as of June 6, 2024 as related to our core focus areas. The entirely metrics-based rankings are done by CSRankings, which weighs departments by their presence at the most prestigious publication venues.
19 – Embedded and real-time systems
46 – Logic and verification
82 – Robotics
85 – Design automation
87 – The web & information retrieval
92 – Theory

