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
- Computer Architecture | PDF
- Artificial Intelligence | PDF
- Educational Software Environments
Applications of computing, communications, and connectivity to education
- Formal Analysis and Verification | PDF
- Computer Graphics, Visualization and Animation | PDF
- Robotics | PDF
- Scientific computation | PDF
- Systems and programming languages | PDF
- Virtual Environments | PDF
It works in practice, but does it work in theory?
Computer architecture, VLSI circuits and systems, asynchronous and self-timed circuits and systems
Natural Language Processing, Machine Learning and Computer Vision
Static Analysis, Formal Verification, Higher Order Modeling and Reasoning, Applications
Modeling, CAD/CAM, rendering, scientific visualization
Intelligent agents, hybrid mobile robots, humanoid robots, haptic interfaces, and personal assistive devices
Methods for solving and visualizing large-scale scientifc problems
Operating systems, parallel distributed systems, programming languages, compilers, security, networks, software engineering
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.