The University of Utah’s School of Computing, founded as the Computer Science Department in 1965, has a long and distinguished record of high impact research. This started with pioneering work in computer graphics, computer architecture, and digital audio, plus being the fourth node on the ARPAnet, the predecessor of today’s Internet. Current work include both classical computer science and a number of activities that lie between traditional areas and traditional disciplines. As a result, we provide a special environment both for faculty and students to forge not only new research ideas, but also new research directions. The main areas of current research focus are provided below, listing faculty members and research groups/centers conducting research in those areas (with links to individual/group web pages providing more details).
Algorithms / Comp. Geometry / Comp. Topology
- Approximation / Online Algorithms
A. Bhaskara, J. Phillips - Algorithms & Data Structures P. Pandey, H. Wang
- Computational Biology P. Pandey
- Computational Geometry
V. Pascucci, B. Wang Phillips, J. Phillips, H. Wang - Computational Topology
V. Pascucci, B. Wang Phillips - Graph Algorithms
A. Bhaskara, B. Sullivan
Artificial Intelligence / Machine Learning
- Cognitive Systems
R. Cardona-Rivera, M. Young - ML and Data Analysis
V. Pascucci, B. Wang Phillips, J. Phillips - ML: Theory and Modeling
A. Bhaskara, J. Phillips, S. Zhe - Natural Language Processing
A. Marasovic, E. Riloff, V. Srikumar - Physics-informed Machine Learning
S. Zhe, M. Kirby, V. Shankar
Cross-cutting areas:
- ML and Systems
R. Balasubramonian, M. Bojnordi, G. Gopalakrishnan, P. Sadayappan, M. Zhang - Image Analysis and Computer Vision
S. Elhabian, C. Johnson, S. Joshi, V. Pascucci, T. Tasdizen, R. Whitaker
Computer Architecture / VLSI
- Accelerators and VLSI
M. Bojnordi, E. Brunvand, R. Balasubramonian - Memory Systems
M. Bojnordi, R. Balasubramonian
Centers and Groups: Utah Arch
Data Management
- Stream Processing
P. Pandey, J. Phillips - Approximate Databases
P. Pandey, J. Phillips - Storage and Indexing
P. Pandey - Databases for emerging hardware
P. Pandey
High-Performance Computing
- Accelerators and VLSI
M. Bojnordi, E. Brunvand, R. Balasubramonian - Compiler Optimization
M. Hall, J. Regehr, P. Sadayappan - Scientific Computing
M. Berzins, M. Hall, M. Kirby, V. Pascucci, P. Sadayappan, H. Sundar - Scalable Systems
E. Eide, R. Ricci, K. Van der Merwe
Human-Centered Computing
- Computer Games
R. Cardona-Rivera, M. Young - Computer Science Education
E. Wiese - Security and Privacy
S. Patil - Human-Computer Interaction
T. Denning, M. Kogan, A. Lex, M. Meyer, V. Pandey, E. Wiese, J. Wiese - Social Computing
V. Pandey - Virtual Reality
R. Cardona-Rivera, J. Hollerbach
Networking / Operating Systems / Scalable Systems
- Networking
E. Eide, S. Kasera, R. Ricci, R. Stutsman, K. Van der Merwe - Operating Systems
A. Burtsev, R. Stutsman - Scalable Systems
E. Eide, R. Ricci, K. Van der Merwe - Storage Systems
P. Pandey, R. Stutsman
Centers and Groups: Flux Research Group
Programming Languages / Software Engineering
- Compiler Optimization
M. Hall, J. Regehr, P. Sadayappan - Formal Verification and Testing
E. Eide, G. Gopalakrishnan, B. Greenman, P. Panchekha, Z. Rakamaric, J. Regehr - Language Design & Implementation
M. Flatt, B. Greenman, P. Panchekha
Centers and Groups: Compilers and Programming Languages at Utah
Robotics
- Autonomous Systems and Learning
D. Brown, T. Henderson, T. Hermans, A. Kuntz - Human/Medical Robotics
D. Brown, J. Hollerbach, A. Kuntz
Centers and Groups: Utah Robotics Centers
Scientific Computing
- Computational Inverse Problems
C. Johnson, M. Kirby, H. Sundar - Geometry and Mesh Generation
V. Pascucci, V. Shankar, R. Whitaker - High-Performance Computing
M. Berzins, M. Hall, C. Johnson, M. Kirby, P. Pandey, V. Pascucci, P. Sadayappan, V. Shankar, H. Sundar - Modeling Methods and Frameworks
M. Berzins, M. Kirby, V. Shankar, H. Sundar
Centers and Groups: Scientific Computing and Imaging Institute
Security / Privacy
- Cryptography Pratik Soni
- Mobile Security
M. Zhang - Sociotechnical Aspects
S. Patil - Systems Security
R. Balasubramonian, E. Eide, S. Kasera, S. Nagy, R. Ricci, M. Zhang, J. Xu
Centers and Groups: Software Security Group
Visual Computing
- Computer Graphics
E. Brunvand, Y. Yang, C. Yuksel - Computer Vision Z. Al-Halah
- Image Analysis
S. Elhabian, C. Johnson, S. Joshi, V. Pascucci, T. Tasdizen, R. Whitaker - Visualization
C. Johnson, K. Isaacs, M. Kirby, A. Lex, M. Meyer, V. Pascucci, B. Wang Phillips, P. Rosen
Centers and Groups: Scientific Computing and Imaging Institute