The theoretical and practical aspects of manipulating mathematical expressions on computers are usually referred to as computer algebra or symbolic computation. In this field, calculations are designed to yield exact and complete results, by opposition to numerical analysis which is meant to handle approximate values, potentially producing incomplete results. Exactness and completeness have some significant computational overhead. Computer algebra software is highly demanding in CPU time and memory.
Postdoctoral fellow: Dr. Hamid Usefim, Mathematics, University of Toronto
Lead faculty member: Dr. Kumar Murty, Mathematics, University of Toronto
Protecting copyright is one of the hottest topics in information and media technology at the moment. Digital technology enables perfect copying on amateur equipment. Digital Fingerprinting is an emerging technology to protect multimedia from unauthorized redistribution. It embeds a unique ID into each user's copy, which can be extracted to help identify culprits when an unauthorized leak is found. Thereby any emerging illegitimate copy can be traced back to the guilty party. A major challenge is to make this system secure against coalitions of pirates.
