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 contribute to premier academic platforms, with recent publications appearing in Science and PNAS.
We spearhead multiple cross-disciplinary initiatives involving campus partners, notably the Center for Design Thinking, CEDAR (Cybersecurity Education and Research Center), and AIM (Artificially Intelligent Manufacturing Center). Through ongoing collaborations with industry partners and research organizations, we offer internship opportunities. These interdisciplinary connections enable us to engage graduate students from varied academic backgrounds - get ready to expand your perspective beyond traditional computer science boundaries