HALO STATECHARTS Designing and modelling an agent comparable in size and complexity to a commercial AI using to formalism of layered statecharts. As a reference point, looked at the behaviour tree of Halo and reconstructed it using the new approach.
WHO'S IN A POPULATION? Organizations, governments, and companies are interested in understanding the people in groups they’re interacting with. We're developing new techniques for inferring the demographics of physical populations using data from online networks like Twitter and Facebook.
GATE LEVEL PARALLEL SIMULATION Developing a parallel environment for gate level simulation which incorporates our research on synchronization and load-balancing algorithms, with the intention to focus on the use of multi-core architectures, GPUs, and embedded circuit simulation.
HUMAN-COMPUTING Solve difficult scientific problems while playing a casual video game. We develop human-computing games such as Phylo to solve central problems arising in biology. Join the open-science movement!
LARGE-SCALE DATA STORES Managing consistency for transactional applications when data is distributed across many components is challenging. ConsAD detects and quantifies anomalies as they occur, and we build algorithms that maintain the desired level of consistency across all components.
COMPARATIVE & ANCESTRAL GENOMICS Can we tell what the genome of the first mammal looked like? Yes, with a clever analysis of genomes of extant species. We use inferred ancestral genomes and evolutionary scenarios to map the functional regions of the human genome and predict the impact of mutations.
PRIVACY-PRESERVING SENSING AND COMPUTING Design challenge for pervasive computing researchers: continuous sensing is useful, but how can we design such systems so that they use sensing when and where it is needed while respecting the privacy and comfort of users and others who may be monitored?
SMARTWHEELER Senses obstacles, uses programmed maps to localize and self-navigate through its environment, and helps individuals with mobility impairments achieve greater autonomy, who can communicate with the robot through a speech interface or touchscreen.
NECSIS A $16.6-million national research network created to tackle the technological challenges related to the growing complexity of automotive software systems. GM of Canada Ltd and IBM Canada are mobilizing leading software engineers at 7 universities and in Montreal.
HYBRID CLOUDS A framework for combining resources from public clouds and/or resources donated by participating resources with trusted resources from private clouds to deliver higher levels of services at lower cost for resource intensive applications such as image and video processing.
Recommending Adaptive Changes Programming technologies evolves rapidly and information about them can become outdated. We design techniques to automatically detect and repair inconsistencies.
BELUGA Beluga is a novel programming environment for trustworthy computing where programmers can specify sophisticated safety policies and weave proofs into programs. The goal is to establish safety of software systems via programming with proofs.
COMPOSITE FINITE ELEMENTS A new technique results in significant improvements in the efficient physically based simulation of highly detailed objects, taking into account topological details, varying material properties, and empty space.
ALGEBRA Algebra is useful in understanding computations realized by finite-state machines. Extending ideas and techniques coming from these investigations to other research domains: boolean circuits, computational learning, automated verification, constraint satisfaction, etc.
SPECULAR REFLECTIONS How do we judge hills and valleys from smooth patterns reflected in a surface?
GREEN COMPUTING Some goals of Green IT are maximizing energy efficiency during the product's lifetime and promoting the recyclability / biodegradability of defunct products and factory waste - using computers as energy-efficient as possible and designing for efficiency-related technologies.
MAMMOTH The goal is to provide an environment for experimentation in areas such as distributed systems, fault tolerance, databases, modeling and simulation, artificial intelligence and aspect-orientation, partnered with Quazal, EA Montreal, and EJ-Technologies.
MCLAB The McLab project aims to provide languages, compilers and virtual machines for dynamic scientific languages, starting with the MATLAB language, and extensions of the MATLAB language such as AspectMatlab.
LARGE SPARSE MATRIX CALCULATIONS In the subfield of numerical analysis, a sparse matrix is populated primarily with zeros. When storing and manipulating these matrices on a computer, it is beneficial and often necessary to use specialized algorithms and data structures.
TWO PROVERS IN ISOLATION We investigate the security of cryptographic protocols in a scenario where two special participants are placed "in isolation". Based on the concept of "non-locality" issued from quantum mechanics, isolation is in essence "no non-locality".
Aqua This project deals with underwater and amphibious robotics, and is the umbrella for a host of different specific research probjects at McGill, as well as in collaboration with our associates at York University. Most of the sub-projects enatil work with out Aqua family of underwater hexapod robots.
Computational Semantics We are investigating how to understand the meaning of a word, phrase, or entire passage using vector space models of semantics. The goal of our models is to make inferences about the state of the world based on the contents of the text.
Help us send McGill students to the Grace Hopper Celebration of Women in Computing...
The Evolving Internet
Diverse Particle Selection for Inference in Continuous Graphical Models
From the Linux Kernel to Cryptography APIs: Supporting and Leveraging Software Product Lines
FACULTY CANDIDATE TALK
Boosting Developer Productivity: How Personal Data Will Revolutionize Software Development
FACULTY CANDIDATE TALK
The Secret Life of Mobile Applications
FACULTY CANDIDATE TALK