Dr. Steven Easterbrook, (University of Toronto)
Reactive Systems are formal systems that cause events in the physical world, in reaction to a set of monitored inputs. Examples include control systems for aircraft, medical devices, industrial processes, and consumer appliances. In many of these examples, safety (and often security) of the system is of paramount importance. To say anything at all about whether such a system is safe or secure, one has to be able to predict its behavior under the conditions that the system may encounter in use.
Bell Canada University Labs, IBM Canada for Advanced Studies
Dr. Yoshua Bengio, Université de Montréal
Statistical machine learning is an endeavor in which statisticians and computer scientists use computation to identify useful information from large amounts of data. Telecommunications, insurance and pharmaceutical companies use the team’s machine learning and data mining techniques to determine customer patterns, predict future customer behavior and better understand their needs. The project addresses some of the main practical and theoretical difficulties encountered when dealing with large datasets.