Software Technology Research Group Programming technologies evolves rapidly and information about them can become outdated. We design techniques to automatically detect and repair inconsistencies.

Software Engineering Lab 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.

Scientific Computing Lab 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.

Sable Lab 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.

Reasoning and Learning Lab: Computational Linguistics 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.

Reasoning and Learning Lab 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.

Pervasive Security and Privacy 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?

Network Dynamics Lab 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.

Modelling, Simulation & Design Lab 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.

Mobile Robotics Lab 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.

Distributed Simulation Lab 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.

Distributed Information System Lab 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.

Cyber-Physical Systems Lab 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.

Cryptography Lab 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".

Computer Graphics Lab 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.

Computer Games Lab 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.

Computational Vision Lab How do we judge hills and valleys from smooth patterns reflected in a surface?

Computational Structural Biology 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!

Computational Complexity Lab 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.

Computation and Logic Group 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.

Comparative and Regulatory 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.

Advanced Networking Research Lab 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.