Software Technology Research Group We are developing the idea of source code summarization to repackage existing open-source code fragments so that they cleanly illustrate programming concepts or patterns of interest.

Software Engineering Lab A novel approach to aspect-oriented modeling that makes scalable multi-view modeling possible, allowing the modeler to define stand-alone reusable aspect models, which support the modeling of structure and behavior (UML diagrams).

Scientific Computing Lab Developing algorithms that use numerical approximation for the problems of mathematical analysis using various methods for lattice reduction and integer least squares problems, and researching their applications in GPS and wireless communications, etc.

Sable Lab A complete implementation of AspectJ that aims to make it easy to implement both extensions and optimisations of the core language, providing two front ends: one built on the Polyglot framework, the other an extension of the JastAddJ extensible Java compiler.

Reasoning and Learning Lab: Computational Linguistics With the proliferation of smart devices, we will need more fluent and natural ways to receive information from automatic systems. We are working on methods to generate language of a particular style, whether it is formal text or a casual conversation.

Reasoning and Learning Lab Developing theoretical tools for analyzing continuous-state systems, using duality theory, metrics and logic. Algorithms for automatically computing approximations whose behaviour can be guaranteed to be “close” to that of the original system.

Pervasive Security and Privacy By encrypting your wireless communications and requiring users to authenticate before connecting, you can ensure unauthorized users do not intrude on your WLAN and that your wireless data can not be intercepted.

Network Dynamics Lab Grow, decay, and dissipate. We're interested in observing and measuring these processes using computational and mathematical models. We hope that such knowledge aids in building more vibrant, constructive societies.

Modelling, Simulation & Design Lab Meta-modelling refers to the description, or modelling, of different kinds of formalisms used to model systems. Model-transforming refers to the process of converting, translating or modifying a model in a given formalism, into another model that may be in the same formalism.

Mobile Robotics Lab We examine the construction of a vision-based interface for human-robot interaction and control for autonomous robots in arbitrary environments. The goal is to enable a human operator to control and program the robot without the need for any complicated input interface, and also enable the robot to learn about its environment and the operator.

Distributed Simulation Lab Studying the motion of particles under the influence of their mutual gravitational attraction, making use of direct methods for the solution of the equations of motion and parallel discrete-event simulation instead of continuous simulation.

Distributed Information System Lab The goal of our research is to understand the challenges of distributing a game engine across a distributed cluster or a peer-to-peer network and to find solutions for update dissemination, load-balancing, cheating, movement prediction, and much more.

Cyber-Physical Systems Lab Research will improve the link between computational and physical elements in CPS, and broadening its potential in dimensions including intervention (eg collision avoidance), precision (eg robotic surgery and nano-level manufacturing), and coordination (eg air traffic control).

Cryptography Lab The new concept of "weakly random self-reducible" crypto-systems is exploited to construct secure cryptographic primitives from complexity assumptions that appear secure even in the presence of a quantum adversary.

Computer Graphics Lab Aimed at hands-on manipulation of digital models through natural hand gestures, this novel system is composed of a new physical interaction device coupled with a simulated compliant virtual hand model.

Computer Games Lab Aims to model computer narratives and develop analysis techniques for detecting narrative flaws and other narrative properties, currently built around an investigation of Interactive Fiction as a relatively pure source of game narratives.

Computational Vision Lab How do we use spatial arrangement, scale, and blur to perceive surface orientation and distance?

Computational Structural Biology Understanding how proteins fold is an important step to decipher the mechanisms of life and design pharmaceutical drug. We develop new models to make this task faster and more accurate.

Computational Complexity Lab How many bits two computers need to communicate with each other in order to compute a function - efficient solutions can be viewed as efficiently solving certain communication tasks, which allows studying the computational hardness of problems in this context.

Computation and Logic Group Contextual reasoning plays a fundamental role in linguistics, AI, logic, functional programming and theorem proving. CORE investigates its logical foundation and explores its ramifications in meta-programming and meta-reasoning.

Comparative and Regulatory Genomics These interactions occur when two or more proteins bind together to carry out their biological function. In collaboration with the Coulombe Lab, we are developing the experimental and computational techniques to map this network and the graph algorithms required to analyze it.

Advanced Networking Research Lab An entirely software-based system providing lightweight but IP compliant virtual elements for machines, routers, switches, wireless access points, and mobile devices, which can be interconnected to create virtual networks for experimentation purposes.