COMP-424: Artificial Intelligence

We will cover selected topics in Artificial Intelligence. We will study modern techniques for computers to make good (in some cases optimal) decisions that are applicable throughout an enormous range of industrial, civil, medical, financial, robotic and information systems. We will not attempt to cover the entire range of AI sub-areas in detail, but will survey several key themes.

COMP-525 : Formal Verification

Propositional logic - syntax and semantics, temporal logic, other modal logics, model checking, symbolic model checking, binary decision diagrams, other approaches to formal verification.

COMP-551 : Applied Machine Learning

The course will cover selected topics and new developments in data mining and applied machine learning, with a particular emphasis on good methods and practices for effective deployment of real systems. We will study commonly used algorithms and techniques, including linear and logistic regression, clustering, neural networks, support vector machines, decision trees and more. We will also discuss methods to address practical issues such as feature selection and dimensionality reduction, error estimation and empirical validation, algorithm design and parallelization, and handling of large datasets.

COMP-550 : Natural Language Processing

This course presents an introduction to the computational modelling of natural language. Topics covered include: computational morphology, language modelling, syntactic parsing, lexical and compositional semantics, and discourse analysis. We will consider selected applications such as automatic summarization, machine translation, and speech processing. We will also study machine learning algorithms that are used in natural language processing.

COMP-652 : Machine Learning

The goal of this class is to provide an overview of the state-of-art algorithms used in machine learning. The field of machine learning is concerned with the question of how to construct computer programs that improve automatically with experience. In recent years, many successful applications of machine learning have been developed, ranging from data-mining programs that learn to detect fraudulent credit card transactions, to autonomous vehicles that learn to drive on public highways, and computer vision programs that can recognize thousands of different object types. At the same time, there have been important advances in the theory and algorithms that form the foundation of this field. During this course, we will study both the theoretical properties of machine learning algorithms and their practical applications.

COMP-767 : Reinforcement Learning

New course available for the Winter 2017 semester.