Research in the Computer Science department concentrates on foundational problems with real-life applications. Our faculty actively engages in and lead large-scale interdisciplinary research projects in analysis of networked information, data science and stewardship, bioinformatics, ecology and environmental conservation. We seek to develop principled solutions to problems and illustrate our solutions with working prototypes.
Research Areas:
The CS Department has world-class research in several core areas such as Artificial Intelligence, Machine Learning, Semantic Web, Network Science, Algorithmic Game Theory, Social Choice, High Performance Computing and Simulation, Information Trust, Privacy and Security, Computer Vision and Graphics, Programming Languages, Distributed and Cloud Computing, Federated and Decentralized Intelligence, and so on. Faculty members in specific areas are listed below, though many engage in cross-cutting research:
- AI hardware: Christopher Carothers
- AI for science, health, and conservation: Tianfan Fu, Yao Ma, Jianxi Gao, Oshani Seneviratne, Deborah McGuinness, Mohammed Zaki, Chuck Stewart
- Algorithmic game theory: Elliot Anshelevich
- Approximation algorithms: Alex Gittens, Elliot Anshelevich
- Bioinformatics: Bulent Yener, Mohammed Zaki, Tianfan Fu, Yao Ma
- Computational finance and financial text analytics: Malik Magdon-Ismail, Mohammed Zaki
- Computer vision: Chuck Stewart
- Data mining: Bulent Yener, Mohammed Zaki, Yao Ma
- Data valuation: Mohammad Mohammadi Amiri, Yao Ma
- Decentralized systems (Blockchains): Oshani Seneviratne
- Distributed and large-scale simulation: Christopher Carothers, George Slota
- Distributed algorithms and systems: Stacy Patterson, Carlos Varela
- Economics and computation: Elliot Anshelevich
- Edge and cloud-computing, IoT, Concurrent programming: Stacy Patterson, Carlos Varela
- Federated Learning: Stacy Patterson, Mohammad Mohammadi Amiri, Oshani Seneviratne
- Graph learning: Yao Ma, George Slota, Mohammed Zaki
- High performance computing and simulation: George Slota, Christopher Carothers
- Information trust: Sibel Adali, Lei Yu
- Interactive visualization and graphics: Barbara Cutler
- Knowledge graphs and ontologies: Oshani Seneviratne, Deborah McGuinness, Jim Hendler, Mohammed Zaki
- Large language models: Yao Ma, Mohammad Mohammadi Amiri, Oshani Seneviratne
- Natural language processing: Sibel Adali
- Network science: Jianxi Gao, Boleslaw Szymanski, Sibel Adali, Malik Magdon-Ismail, George Slota
- Neuro-symbolic AI: Deborah McGuinness
- Open source education: Barbara Cutler
- Privacy and security: Lei Yu, Mohammad Mohammadi Amiri, Oshani Seneviratne
- Programming languages, Program analysis and verification: Ana Milanova, Carlos Varela
- Quantum computing: Stacy Patterson, Malik Magdon-Ismail, Jim Hendler, Xiao-yang Liu
- Safe systems and Secure ML: Radoslav Ivanov, Lei Yu, Carlos Varela
- Security: Bulent Yener, Ana Milanova, Lei Yu, Radoslav Ivanov
- Semantic web and web science: Deborah McGuinness, Jim Hendler, Oshani Seneviratne
- Social choice: Elliot Anshelevich
- Trustworthy machine learning: Alex Gittens, Lei Yu
