Research
Research within the School of Computing at the University of Utah can be grouped into seven broad areas, though many individual research groups do work spanning multiple areas.
- Algorithms and Computational Geometry | PDF
- Artificial Intelligence | PDF
- Computer Architecture | PDF
- Computer Systems | PDF
- Educational Software Environments
Applications of computing, communications, and connectivity to education
- Formal Analysis and Verification | PDF
- Computer Graphics, Visualization and Animation | PDF
- Image Analysis
- Robotics | PDF
- Scientific computation | PDF
- Virtual Environments | PDF
It works in practice, but does it work in theory?
Natural Language Processing, Machine Learning and Computer Vision
Computer architecture, VLSI circuits and systems, asynchronous and self-timed circuits and systems
Operating systems, parallel distributed systems, programming languages, compilers, security, networks, software engineering
Static Analysis, Formal Verification, Higher Order Modeling and Reasoning, Applications
Modeling, CAD/CAM, rendering, scientific visualization
Image segmentation & analysis, statistical analysis of multimodal image data, pattern recognition and machine learning, computational anatomy, shape representation and analysis
Intelligent agents, hybrid mobile robots, humanoid robots, haptic interfaces, and personal assistive devices
Methods for solving and visualizing large-scale scientifc problems
Novel systems allowing manipulation of virtual objects, locomotion through virtual worlds, and basic perceputal investigations
Technical reports are also available.
History overview of the School of Computing.