Research
It works in practice, but does it work in theory?
Innovative memory and communication architectures, asynchronous circuits and systems, formal verification of computing systems
Natural Language Processing, Machine Learning and Computer Vision
Applications of computing, communications, and connectivity to education
Modeling, CAD/CAM, rendering, scientific visualization
Robotics
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