As an indication of the breadth and specialties of current research
activity in the department, the following list summarizes a partial list of
funded projects underway at the time of this handbook's publication.
- Application Driven Advancement of Asynchronous Design
Methods, NSF, Erik Brunvand and Ganesh Gopalakrishnan.
- Center of Excellence for Asynchronous Circuit and System
Design, State of Utah, Erik Brunvand and Chris Myers.
- Communication and Memory Architectures for Scalable
Parallel Computing, ARPA, Al Davis.
- Applying Hardware Verification Techniques to
Industrial-Scale Problems, DARPA, Ganesh Gopalakrishnan.
- A Multi-Paradigm Verification System Tailored for the
Design Refinement Cycle, NSF, Ganesh Gopalakrishnan.
- Graduate Research Traineeships, NSF, Thomas Henderson and
Gary Lindstrom.
- Acquisition of Computational Steering Instrumentation,
NSF, Thomas Henderson.
- vBNS Connection to the Internet, NSF, Thomas Henderson.
- Medical Robotics, UBC, John Hollerbach.
- Rapid Virtual Prototyping of Mechanical Assemblies, NSF,
John Hollerbach.
- Equipment for Simultaneous Local and Global Interactive
Scientific Vision, Army Research Office, Chris Johnson.
- Presidential Faculty Fellowship, NSF, Chris Johnson.
- Inverse Electroencephalography, University of Utah
Research Foundation, Chris Johnson.
- Center of Excellence ``Center for Scientific Computing and
Imaging'', State of Utah, Chris Johnson.
- Portable 3D Imaging Ultrasound System on 1.5D and 1.0D
Integrated Arrays, DARPA, Chris Johnson.
- Fast and Flexible Mach-Based Systems, ARPA, Jay Lepreau.
- Mach 4 Kernel and IDL Infrastructure for Security, DARPA,
Jay Lepreau.
- Object Management - AASERT Traineeships, ARPA, Gary
Lindstrom.
- Multiphase Integrated Engineering Design (MIND), ARPA,
Richard Riesenfeld and Elaine Cohen.
- Computer Graphics and Scientific Visualization, NSF
Science and Technology Center, Richard Riesenfeld and Elaine Cohen.
- CAREER: Building Conceptual Natural Language Processing
Systems for Practical Applications, NSF, Ellen Riloff.
- Information Extraction as a Basis for Multi-Faceted Text
Categorization Systems, NSF, Ellen Riloff
- Realistic Computer Rending of Complete Scenes Using
Quantitative Perceptual Error Metrics, NSF, Peter Shirley
- Rapid Prototyping of Analog/Digital Circuits, FBI, Kent
Smith.
- Quicker PPL Cell Design Changes, Maryland Procurement, Kent
Smith.
- SINC Algorithm Development, NSF, Frank Stenger.
- CISE Research Infrastructure: Modeling Complex Physical and
Computational Environments, NSF, William Thompson.
- Extraction of Micro-Terrain Features, DARPA, William
Thompson.
webmaster@cs.utah.edu