Department of Computer Science
Navigation
Home
Announcements
Contact Information
People
Programs
Courses
Research
Resources
Social
Technical Reports
University of Miami
Arts & Sciences
Printable page
Mail to Webmaster
The Department has faculty with strong research accomplishments in the fields of:
Algorithm Engineering
Automated Reasoning
Bioinformatics
Computational Complexity
Computational Geometry and Computer Graphics
Cryptography and Network Security
Data Mining
Molecular Computation
Multimedia Systems
Music Information Retrieval
Wireless and Mobile Computing
Research project pages
The TPTP Library
of test problems for ATP systems.
Optimization-Based Animation
(as seen at
SIGGRAPH 2001
and in
Computer Graphics World
)
Last modified: 31 October 2007