Dr. Changbao Wu, University of Waterloo
Computer algebra systems such as Maple compute using mathematical formulae as well as numbers, mechanizing the mathematics used in education and research labs. This project focuses on the design and implementation of algorithms for these systems. Emphasis is placed on efficiency that allows large and complex problems of the type encountered in industrial settings to be solved. In the past year the team has made major advances in the core tools that are needed to solve these complex problems.
Due to the explosive growth in the technology for manufacturing integrated circuits, modern chips contain millions of transistors. Using sophisticated optimization algorithms, it is possible to achieve notable increases in the performance of the chips, reduce the manufacturing costs, and produce faster, cheaper computing for society. Thus, the objective of this project is to enhance the solution of large-scale optimization problems arising in these applications.
Dr. Barry Sanders, University of Calgary
As the size of computer components approaches the atomic scale, quantum technologies will be necessary for the storing and processing of information. The ability to exploit quantum mechanics opens up a whole new mode of computation that may allow computations previously thought infeasible or impossible. Thus, this project team is working to develop novel systems and techniques for information processing, transmission and security by exploiting the properties of quantum mechanical operations.