Main navigation
- Programs
- Subjects
- Universities
- Destinations
- Advice
The Computer Science department explores diverse research domains, spanning functional programming, formal verification, theorem proving, artificial intelligence, virtual reality, and cybersecurity. Our faculty consistently publish in prestigious journals, with recent work appearing in Science and PNAS.
We spearhead multiple cross-disciplinary initiatives like the Center for Design Thinking, CEDAR (Cybersecurity Education and Research Center), and AIM (Artificially Intelligent Manufacturing Center), partnering with various campus departments. Through collaborations with industry and academic institutions, we offer internship opportunities. These interdisciplinary connections enable us to engage graduate students from varied academic backgrounds, encouraging exploration beyond traditional computer science boundaries.
As a compact department, we offer students meaningful opportunities to influence both their research and departmental direction. We facilitate conference attendance, workshop participation, and networking events to advance research and career prospects. Our alumni have successfully transitioned to roles as industry researchers and academic faculty members.