Note: This is the 2011–2012 edition of the eCalendar. Update the year in your browser's URL bar for the most recent version of this page, or click here to jump to the newest eCalendar.
Program Requirements
Required coursework: Students must take eight graduate courses, of which at least five are computer science courses. These courses should be chosen by the student in consultation with the supervisor (or co-supervisor) and the Progress Committee.Thesis
Required Courses
-
COMP 700 Ph.D. Comprehensive Examination
Overview
Computer Science (Sci)
Terms: Fall 2011, Winter 2012
Instructors: Chang, Xiao-Wen (Fall) Chang, Xiao-Wen (Winter)
-
COMP 701 Thesis Proposal and Area Examination (3 credits)
Overview
Computer Science (Sci)
Terms: Fall 2011, Winter 2012, Summer 2012
Instructors: Chang, Xiao-Wen (Fall) Chang, Xiao-Wen (Winter)
Complementary Courses
18-24 credits selected from:
Category A: Theory and Applications
-
COMP 507 Computational Geometry (3 credits)
Overview
Computer Science (Sci) : Problems in computational geometry; worst-case complexity of geometric algorithms; expected complexity of geometric algorithms and geometric probability; geometric intersection problems; nearest neighbour searching; point inclusion problems; distance between sets; diameter and convex hull of a set; polygon decomposition; the Voronoi diagram and other planar graphs; updating and deleting from geometric structures.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
-
COMP 523 Language-based Security (3 credits)
Overview
Computer Science (Sci) : State-of-the-art language-based techniques for enforcing security policies in distributed computing environments. Static techniques (such as type- and proof-checking technology), verification of security policies and applications such as proof-carrying code, certifying compilers, and proof-carrying authentication.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
-
COMP 524 Theoretical Foundations of Programming Languages (3 credits)
Overview
Computer Science (Sci) : Operational and denotational semantics of programming languages. Equivalence theorems for first-order languages. Lambda calculus. Type-inference, typed lambda calculus. Polymorphism. Elements of domain theory and fixed-point induction.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
-
COMP 525 Formal Verification (3 credits)
Overview
Computer Science (Sci) : Propositional logic - syntax and semantics, temporal logic, other modal logics, model checking, symbolic model checking, binary decision diagrams, other approaches to formal verification.
Terms: Winter 2012
Instructors: Panangaden, Prakash (Winter)
-
COMP 531 Advanced Theory of Computation (3 credits)
Overview
Computer Science (Sci) : Models for sequential and parallel computations: Turing machines, boolean circuits. The equivalence of various models and the Church-Turing thesis. Unsolvable problems. Model dependent measures of computational complexity. Abstract complexity theory. Exponentially and super-exponentially difficult problems. Complete problems.
Terms: Winter 2012
Instructors: Therien, Denis (Winter)
3 hours
Prerequisite: COMP 330
-
COMP 540 Matrix Computations (3 credits)
Overview
Computer Science (Sci) : Designing and programming reliable numerical algorithms. Stability of algorithms and condition of problems. Reliable and efficient algorithms for solution of equations, linear least squares problems, the singular value decomposition, the eigenproblem and related problems. Perturbation analysis of problems. Algorithms for structured matrices.
Terms: Winter 2012
Instructors: Chang, Xiao-Wen (Winter)
-
COMP 547 Cryptography and Data Security (4 credits)
Overview
Computer Science (Sci) : This course presents an in-depth study of modern cryptography and data security. The basic information theoretic and computational properties of classical and modern cryptographic systems are presented, followed by a cryptanalytic examination of several important systems. We will study the applications of cryptography to the security of systems.
Terms: Fall 2011
Instructors: Crepeau, Claude (Fall)
-
COMP 552 Combinatorial Optimization (4 credits)
Overview
Computer Science (Sci) : Algorithmic and structural approaches in combinatorial optimization with a focus upon theory and applications. Topics include: polyhedral methods, network optimization, the ellipsoid method, graph algorithms, matroid theory and submodular functions.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
-
COMP 554 Approximation Algorithms (4 credits)
Overview
Computer Science (Sci) : The theory and application of approximation algorithms. Topics include: randomized algorithms, network optimization, linear programming and semi definite programming techniques, the game theoretic method, the primal-dual method, and metric embeddings.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
-
COMP 560 Graph Algorithms and Applications (3 credits)
Overview
Computer Science (Sci) : Algorithms for connectivity, partitioning, clustering, colouring and matching. Isomorphism testing. Algorithms for special classes of graphs. Layout and embedding algorithms for graphs and networks.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
-
COMP 561 Computational Biology Methods and Research (4 credits)
Overview
Computer Science (Sci) : Application of computer science techniques to problems arising in biology and medicine, techniques for modeling evolution, aligning molecular sequences, predicting structure of a molecule and other problems from computational biology. An in-depth exploration of key research areas.
Terms: Fall 2011
Instructors: Waldispuhl, Jérôme (Fall)
4 hours
Prerequisites: COMP 251, and MATH 323 or MATH 203 or BIOL 309
Restrictions: Not open to students who have taken COMP 562. Not open to students who are taking or have taken COMP 462.
Note: Additional work will consist of assignments and of a substantial final project that will require to put in practice the concepts covered in the course.
-
COMP 564 Computational Gene Regulation (3 credits)
Overview
Computer Science (Sci) : This course examines computational problems related to gene regulation at the mÏ㽶ÊÓƵ and protein levels. With respect to mÏ㽶ÊÓƵ expression, topics include microarray analysis, SNP detection, and the inference of genetic networks. With respect to protein expression, topics include peptide sequencing, peptide identification, and the interpretation of interaction maps.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
- 3 hours
- Prerequisite: COMP 462.
-
COMP 566 Discrete Optimization 1 (3 credits)
Overview
Computer Science (Sci) : Use of computer in solving problems in discrete optimization. Linear programming and extensions. Network simplex method. Applications of linear programming. Vertex enumeration. Geometry of linear programming. Implementation issues and robustness. Students will do a project on an application of their choice.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
-
COMP 567 Discrete Optimization 2 (3 credits)
Overview
Computer Science (Sci) : Formulation, solution and applications of integer programs. Branch and bound, cutting plane, and column generation algorithms. Combinatorial optimization. Polyhedral methods. A large emphasis will be placed on modelling. Students will select and present a case study of an application of integer programming in an area of their choice.
Terms: Winter 2012
Instructors: Avis, David (Winter)
-
COMP 598 Topics in Computer Science 1 (3 credits)
Overview
Computer Science (Sci) : Topics in computer science.
Terms: Fall 2011
Instructors: Hayden, Patrick (Fall)
3 hours
Prerequisite: Permission of instructor.
-
COMP 599 Topics in Computer Science 2 (3 credits)
Overview
Computer Science (Sci) : Topics in computer science.
Terms: Fall 2011
Instructors: Pientka, Brigitte (Fall)
3 hours
Prerequisite: Permission of instructor.
-
COMP 610 Information Structures 1 (4 credits)
Overview
Computer Science (Sci) : Study of elementary data structures: lists, stacks, queues, trees, hash tables, binary search trees, red-black trees, heaps. Augmenting data structures. Sorting and selection, Recursive algorithms. Advanced data structures including binomial heaps, Fibonacci heaps, disjoint set structures, and splay trees. Amortizing. String algorithms. Huffman trees and suffix trees. Graph algorithms.
Terms: Winter 2012
Instructors: Devroye, Luc P (Winter)
3 hours
-
COMP 618 Bioinformatics: Functional Genomics (3 credits)
Overview
Computer Science (Sci) : Techniques related to microarrays (normalization, differential expression, class prediction, class discovery), the analysis of non-coding sequence data (identification of transcription factor binding sites), single nucleotide polymorphisms, the inference of biological networks, and integrative Bioinformatics approaches.
Terms: Winter 2012
Instructors: Hallett, Michael Trevor (Winter)
Prerequisite: Enrolment in Bioinformatics Option Program or permission of coordinators.
Restrictions: Enrolment by students in the Bioinformatics Option Program or by permission of course coordinators only. Computer Science graduate students not in the Bioinformatics Option Program need additional permission of the M.Sc. or Ph.D. Committee respectively.
-
COMP 623 Concurrent Programming Languages (4 credits)
Overview
Computer Science (Sci) : The course will include the following topics: deadlock, fairness, liveness and safety properties, distributed protocols, standard concurrent programming problems, a comparative study of concurrent programming paradigms. Additional topics: dataflow programming, concurrent constraint programming, concurrent logic programming, process algebra, fault tolerant distributed systems, parallel object-oriented languages.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
- 3 hours
- Prerequisite: COMP 302 or equivalent.
-
COMP 627 Theoretical Programming Languages (4 credits)
Overview
Computer Science (Sci) : Programming language semantics. Lambda calculus, the Church Rosser theorem, typed lambda calculus, the strong normalization theorem, polymorphism, type inference, elements of domain theory, models of the lambda calculus, relating operational and denotational semantics, full abstraction. Reasoning about programs. Soundness and relative completeness of program logics.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
-
COMP 642 Numerical Estimation Methods (4 credits)
Overview
Computer Science (Sci) : Efficient and reliable numerical algorithms in estimation and their applications. Linear models and least squares estimation. Maximum-likelihood estimation. Kalman filtering. Adaptive estimation, GPS measurements and mathematical models for positioning. Position estimation. Fault detection and exclusion.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
-
COMP 647 Advanced Cryptography (4 credits)
Overview
Computer Science (Sci) : Information theoretic definitions of security, zero-knowledge protocols, secure function evaluation protocols, cryptographic primitives, privacy amplification, error correction, quantum cryptography, quantum cryptanalysis.
Terms: Winter 2012
Instructors: Crepeau, Claude (Winter)
3 hours
Prerequisite: COMP 547
-
COMP 648 Motion Planning and Robotics (4 credits)
Overview
Computer Science (Sci) : Topics in motion planning, including: algorithms and complexity results for collision avoidance; the configuration space approach; the algebraic cell decomposition approach; motion planning using Voronoi diagrams; object representation schemes.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
- 3 hours
- Given in alternate years.
-
COMP 649 Quantum Cryptography (4 credits)
Overview
Computer Science (Sci) : Review of the basic notions of cryptography and quantum information theory. Quantum key distribution and its proof of security. Quantum encryption, error-correcting codes and authentication. Quantum bit commitment, zero-knowledge and oblivious transfer. Multiparty quantum computations.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
- Prerequisite: COMP 547 and permission of the instructor.
- Restriction: An introduction to notions of Information Theory is required.
-
COMP 680 Mining Biological Sequences (4 credits)
Overview
Computer Science (Sci) : Advanced algorithms for the annotation of biological sequences. Algorithms and heuristics for pair-wise and multiple sequence alignment. Gene-finding with hidden Markov models and variants. Motifs discovery techniques: over representation and phylogenetic footprinting approaches. Ï㽶ÊÓƵ secondary structure prediction. Detection of repetitive elements. Representation and annotation of protein domains.
Terms: Fall 2011
Instructors: Blanchette, Mathieu (Fall)
Prerequisite: COMP 462 or with instructor's permission.
-
COMP 690 Probabilistic Analysis of Algorithms (4 credits)
Overview
Computer Science (Sci) : Probabilistic analysis of algorithms and data structures under random input. Expected behaviour of search trees, tries, heaps, bucket structures and multidimensional data structures. Random sampling, divide-and-conquer, grid methods. Applications in computational geometry and in game tree searching. Combinatorial search problems. Algorithms on random graphs.
Terms: Fall 2011
Instructors: Devroye, Luc P (Fall)
3 hours
-
COMP 760 Advanced Topics Theory 1 (4 credits)
Overview
Computer Science (Sci)
Terms: Fall 2011
Instructors: Hatami, Hamed (Fall)
-
COMP 761 Advanced Topics Theory 2 (4 credits)
Overview
Computer Science (Sci)
Terms: Winter 2012
Instructors: Waldispuhl, Jérôme (Winter)
Category B: Systems and Applications
-
COMP 512 Distributed Systems (4 credits)
Overview
Computer Science (Sci) : Models and Architectures. Application-oriented communication paradigms (e.g. remote method invocation, group communication). Naming services. Synchronization (e.g. mutual exclusion, concurrency control). Fault-tolerance (e.g. process and replication, agreement protocols). Distributed file systems. Security. Examples of distributed systems (e.g. Web, CORBA). Advanced Topics.
Terms: Fall 2011
Instructors: Kemme, Bettina (Fall)
-
COMP 520 Compiler Design (4 credits)
Overview
Computer Science (Sci) : The structure of a compiler. Lexical analysis. Parsing techniques. Syntax directed translation. Run-time implementation of various programming language constructs. Introduction to code generation for an idealized machine. Students will implement parts of a compiler.
Terms: Fall 2011
Instructors: Al Marhubi, Kamal Amran (Fall)
-
COMP 521 Modern Computer Games (4 credits)
Overview
Computer Science (Sci) : Genre and history of games, basic game design, storytelling and narrative analysis, game engines, design of virtual worlds, real-time 2D graphics, game physics and physical simulation, pathfinding and game AI, content generation, 3D game concerns, multiplayer and distributed games, social issues.
Terms: Winter 2012
Instructors: Verbrugge, Clark (Winter)
-
COMP 522 Modelling and Simulation (4 credits)
Overview
Computer Science (Sci) : Simulation and modelling processes, state automata, Petri Nets, state charts, discrete event systems, continuous-time models, hybrid models, system dynamics and object-oriented modelling.
Terms: Winter 2012
Instructors: Vangheluwe, Hans Louis (Winter)
-
COMP 526 Probabilistic Reasoning and AI (3 credits)
Overview
Computer Science (Sci) : Belief networks, Utility theory, Markov Decision Processes and Learning Algorithms.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
-
COMP 529 Software Architecture (4 credits)
Overview
Computer Science (Sci) : Development, analysis, and maintenance of software architectures, with special focus on modular decomposition and reverse engineering.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
-
COMP 533 Object-Oriented Software Development (3 credits)
Overview
Computer Science (Sci) : Object-oriented, UML-based software development; requirements engineering based on use cases; using OCL and a coherent subset of UML to establish complete and precise analysis and design documents for a software system; Java-specific mapping strategies for implementation.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
-
COMP 535 Computer Networks 1 (3 credits)
Overview
Computer Science (Sci) : Exposition of the first four layers of the ISO model for computer network protocols, i.e., the physical, data, network, and transport layers. Basic hardware and software issues with examples drawn from existing networks, notably SNA, DECnet, and ARPAnet.
Terms: Fall 2011
Instructors: Maheswaran, Muthucumaru (Fall)
-
COMP 557 Fundamentals of Computer Graphics (3 credits)
Overview
Computer Science (Sci) : The study of fundamental mathematical, algorithmic and representational issues in computer graphics. The topics to be covered are: overview of graphics process, projective geometry, homogeneous coordinates, projective transformations, quadrics and tensors, line-drawing, surface modelling and object modelling reflectance models and rendering, texture mapping, polyhedral representations, procedural modelling, and animation.
Terms: Fall 2011
Instructors: Kry, Paul (Fall)
-
COMP 558 Fundamentals of Computer Vision (3 credits)
Overview
Computer Science (Sci) : Biological vision, edge detection, projective geometry and camera modelling, shape from shading and texture, stereo vision, optical flow, motion analysis, object representation, object recognition, graph theoretic methods, high level vision, applications.
Terms: Winter 2012
Instructors: Siddiqi, Kaleem (Winter)
-
COMP 575 Fundamentals of Distributed Algorithms (3 credits)
Overview
Computer Science (Sci) : Study of a collection of algorithms that are basic to the world of concurrent programming. Discussion of algorithms from the following areas: termination detection, deadlock detection, global snapshots, clock synchronization, fault tolerance (byzantine and self-stabilizing systems). Students will implement algorithms on the BBN butterfly and will present papers on topics in these areas.
Terms: Winter 2012
Instructors: Tropper, Carl (Winter)
3 hours
Prerequisite: COMP 310
-
COMP 577 Distributed Database Systems (3 credits)
Overview
Computer Science (Sci) : High-level communication paradigms (e.g. client/server, publish/subscribe). Architecture of distributed information systems. Distributed transactions: concurrency control, recovery, distributed agreement. Data Replication. Data Distribution. Distributed queries. Advanced topics.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
-
COMP 598 Topics in Computer Science 1 (3 credits)
Overview
Computer Science (Sci) : Topics in computer science.
Terms: Fall 2011
Instructors: Hayden, Patrick (Fall)
3 hours
Prerequisite: Permission of instructor.
-
COMP 599 Topics in Computer Science 2 (3 credits)
Overview
Computer Science (Sci) : Topics in computer science.
Terms: Fall 2011
Instructors: Pientka, Brigitte (Fall)
3 hours
Prerequisite: Permission of instructor.
-
COMP 612 Database Programming Principles (4 credits)
Overview
Computer Science (Sci) : Database programming using the relational algebra. Integrates the relational model of databases with principles of high-level programming languages. Includes functional and object-oriented paradigms, logic programming, recursive data structures, scoping, and procedural and data abstraction. Applications to knowledge bases, data mining, semistructured data, Internet DB.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
- 3 hours
-
COMP 614 Distributed Data Management (4 credits)
Overview
Computer Science (Sci) : Architecture and examples of distributed information systems (e.g., federated databases, component systems, web databases). Data consistency (consistency models, advanced transaction models, advanced concurrency control, distributed recovery). Data replication and caching. Distribution queries, Schema Integration. Advanced Topics.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
-
COMP 621 Program Analysis and Transformations (4 credits)
Overview
Computer Science (Sci) : Program analysis and transformations are used in optimizing compilers and other automatic tools such as bug-finders, verification tools and software engineering applications. Course topics include the design of intermediate representations, control flow analysis, data flow analysis at both the intra- and inter-procedural level and program transformations for performance improvement.
Terms: Winter 2012
Instructors: Hendren, Laurie (Winter)
-
COMP 646 Computational Perception (4 credits)
Overview
Computer Science (Sci) : Seminar course on perception problems from a computer science perspective. Vision problems such as stereo, shading, motion, colour, object recognition. Audition problems such as sonar, source localization, source recognition.
Terms: Fall 2011
Instructors: Langer, Michael (Fall)
3 hours
-
COMP 652 Machine Learning (4 credits)
Overview
Computer Science (Sci) : An overview of state-of-the-art algorithms used in machine learning, including theoretical properties and practical applications of these algorithms.
Terms: Fall 2011
Instructors: Precup, Doina (Fall)
-
COMP 655 Distributed Simulation (4 credits)
Overview
Computer Science (Sci) : Conservative and optimistic synchronization involved in executing a discrete event simulation on a distributed platform (e.g. cluster of workstations, shared memory multiprocessor). Focus is on efficiency, strengths and limitations of the different approaches. Applications to large simulations (networks, VLSI, virtual environments).
Terms: Winter 2012
Instructors: Tropper, Carl (Winter)
Prerequisite: COMP 310 or equivalent.
-
COMP 656 Run-Time Language Support (4 credits)
Overview
Computer Science (Sci) : Hardware and software support for late binding, polymorphic calls and garbage collection in object-oriented languages.
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
-
COMP 667 Software Fault Tolerance (4 credits)
Overview
Computer Science (Sci) : Software fault tolerance, concepts and implementation. Failure classification; information and time redundancy; forward and backward error recovery; error confinement; idealized fault-tolerant component; sequential and concurrent systems; exception handling; transactions and atomic actions; voting; design diversity. Case studies.
Terms: Winter 2012
Instructors: Kienzle, Jorg Andreas (Winter)
Prerequisite: COMP 409 or permission of instructor
-
COMP 762 Advanced Topics Programming 1 (4 credits)
Overview
Computer Science (Sci)
Terms: Winter 2012
Instructors: Robillard, Martin (Winter)
-
COMP 763 Advanced Topics Programming 2 (4 credits)
Overview
Computer Science (Sci)
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
-
COMP 764 Advanced Topics Systems 1 (4 credits)
Overview
Computer Science (Sci)
Terms: Fall 2011
Instructors: Liu, Xue (Fall)
-
COMP 765 Advanced Topics Systems 2 (4 credits)
Overview
Computer Science (Sci)
Terms: Winter 2012
Instructors: Dudek, Gregory L (Winter)
-
COMP 766 Advanced Topics Applications 1 (4 credits)
Overview
Computer Science (Sci)
Terms: This course is not scheduled for the 2011-2012 academic year.
Instructors: There are no professors associated with this course for the 2011-2012 academic year.
-
COMP 767 Advanced Topics: Applications 2 (4 credits)
Overview
Computer Science (Sci)
Terms: Winter 2012
Instructors: Ruths, Derek (Winter)
Note: Each year the Ph.D. Committee will determine which category COMP 598 and COMP 599 belong to according to the subjects taught in those courses.
Faculty of Science—2011-2012 (last updated Jan. 26, 2012) (disclaimer)