| Martin Berzins |
Adaptive numerical methods, parallel algorithms, computational fluid and solid mechanics applications |
801.585.1545 |
| Thomas Fletcher |
Shape analysis, Computer vision and image analysis, Diffusion tensor image processing and analysis |
801.587.9641 |
| Guido Gerig |
Medical image analysis |
801.585.0327 |
| Chuck Hansen |
Visualization, computer graphics, parallel computation, computer vision |
801.581.3154 |
| Chris Johnson |
Visualization, Scientific Computing, Image Analysis |
801.581.7705 |
| Mike Kirby |
Scientific computing and visualization |
801.585.3421 |
| Miriah Meyer |
Visualization, human-centered design |
801.585.6513 |
| Valerio Pascucci |
Computer graphics, computational geometry, geometric programming, and solid modeling |
801.587.9885 |
| Marcel Prastawa |
Image analysis, computer vision and machine learning (pattern recognition) |
801.581.8984 |
| Ross Whitaker |
Image processing, medical image analysis, data analysis and visualization, geometry processing |
801.587.9549 |
| Tom Henderson |
Computer vision, mobile robotics |
801.581.3601 |
| John Hollerbach |
Robotics, teleoperation, virtual reality, and human motor control |
801.585.6978 |
| Ellen Riloff |
Natural language processing, information retrieval, and artificial intelligence |
801.581.7544 |
| Jur van den Berg |
Robotics, virtual environments |
801.585.5379 |
| Adam Bargteil |
Computer graphics and animation |
801.585.0132 |
| Elaine Cohen |
Computer graphics, scientific visualization, geometric modeling, and mechanical design |
801.581.8235 |
| Rich Riesenfeld |
Computer graphics, geometric modeling, design |
801.581.7026 |
| William Thompson |
Vision science, spatial organization, perception and graphics |
801.585.3302 |
| Cem Yuksel |
animation, computer graphics |
n/a |
| Rajeev Balasubramonian |
Computer architecture: multi-core processors, memory hierarchy bottlenecks, instruction-level parallelism, power-efficient processors |
801.585.4553 |
| Richard Brown |
VLSI, Microprocessor Design, Biomedical Electronics, Sensors |
801.585.7498 |
| Erik Brunvand |
Computer architecture and VLSI systems |
801.581.4345 |
| Al Davis |
Embedded and multi-core architecture, automatic domain specific architecture synthesis, VLSI, and asynchronous circuits |
801.581.3991 |
| Matthew Flatt |
Programming languages and systems |
801.587.9091 |
| Mary Hall |
Parallel computing, compiler optimization, performance tuning |
801.585.1039 |
| Lee Hollaar |
Digital intellectual property law |
801.581.3203 |
| Sneha Kasera |
Computer networks and systems, mobile systems and wireless networks, network security |
801.581.4541 |
| Bob Kessler |
Systems software and software engineering |
801.581.4653 |
| John Regehr |
Embedded systems, sensor networks, static analysis, real-time systems, operating systems |
801.581.4280 |
| Robert Ricci |
Networks, operating systems, distributed systems, virtualization |
801.581.8354 |
| Kobus van der Merwe |
Network systems, cloud computing, security, mobile networking |
801.581.3012 |
| Feifei Li |
Database, Big Data Analytics, Large-scale Data Management Systems |
801.585.6673 |
| Ganesh Gopalakrishnan |
Dynamic formal verification of message passing (MPI) and thread programs. Formal analysis/verification of protocols, Verification tool development |
801.581.3568 |
| Matthew Might |
Security, parallelism, verification and optimization |
801.585.0122 |
| Zvonimir Rakamaric |
Formal methods, software reliability, software resilience |
801.581.6139 |
| Suresh Venkatasubramanian |
High dimensional geometry, clustering, kernels, large data models |
801.581.8233 |
| Jeff Phillips |
Algorithms, data mining and machine learning |
801.585.7775 |
| Jim de St. Germain |
Artificial Intelligence, parallel computing, autonomous agents |
801.585.3352 |
| Peter Jensen |
|
801.585.9418 |
| Erin Parker |
Programming languages, Computer memory systems and performance |
801.587.9505 |
| Joe Zachary |
Application of computers to education |
801.581.7079 |
