Grace Hopper Celebration Initiative

Follow and support our Seeds of Change campaign!

Computer Games Lab

NARRATIVES 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.

Network Dynamics Lab

HOW DO SOCIAL NETWORKS GROW? 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.

Distributed Simulation Lab

GRAVITATIONAL N-BODY SIMULATION 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.

Computational Structural Biology

MECHANISM OF LIFE 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.

Distributed Information System Lab

DISTRIBUTED MULIPLAYER GAMES 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.

Comparative and Regulatory Genomics

PROTEIN-PROTEIN INTERACTION NETWORKS 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.

Pervasive Security and Privacy

SIDE-CHANNEL INFORMATION LEAKS 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.

Reasoning and Learning Lab

APPROXIMATION OF CONTINUOUS STATE SYSTEMS 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.

Modelling, Simulation & Design Lab

ATOM^3 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.

Advanced Networking Research Lab

GINI 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.

Software Technology Research Group

Automatic Code Example Summarization 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.

Computation and Logic Group

CORE 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.

Computer Graphics Lab

HANDNAVIGATOR 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.

Computational Complexity Lab

COMMUNICATION COMPLEXITY 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.

Computational Vision Lab

3D CLUTTERED SCENES How do we use spatial arrangement, scale, and blur to perceive surface orientation and distance?

Cyber-Physical Systems Lab

SYSTEMS AND NETWORKING SUPPORT FOR CPS 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).

Software Engineering Lab

RAM 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).

Sable Lab

ABC 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.

Scientific Computing Lab

NUMERICAL METHODS AND THEIR APPLICATIONS 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.

Cryptography Lab

POST-QUANTUM OBLIVIOUS TRANSFER 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.

Mobile Robotics Lab

Human-robot interaction 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.

Reasoning and Learning Lab: Computational Linguistics

Natural Language Generation 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.