How do we ensure that critical software and hardware systems work the way we intend them too? How do we develop computer systems that support decision making by people or by robots? How do we extract and update information from today's diverse and heterogeneous information sources? This concentration exposes students to the mathematical foundations, tools, and techniques based on formal languages and logic to address these and many other related problems at the frontier of computer science.
These courses are intended as guidelines. Speak to your guidance counsellor to see what courses are offered at your school.
Grade 12 Calculus and Vectors
Grade 12 English (ENG4U)
No direct entry. Best three 4U or 4M courses are also required. Particular attention is paid to prerequisites.
Test Scores:
TOEFL (PBT) [min. 600] or TOEFL (iBT) [min. 100]
Deadlines:
Application Deadline
Start Date
March 1, 2013
* We make every attempt to provide accurate information on prerequisites, programs, and tuition. However, this information is subject to change without notice and we highly recommend that you contact the school to confirm important information before applying.
