computerscience

colloquia@CS

Information Foraging Theory in Software Navigation

Margaret Burnett, Oregon State University

Oct. 30, 2015, 2:30 p.m. @ McConnell 103 (Tentatively)

courses@CS

COMP 421 - Database Systems

Winter 2016

Database Design: conceptual design of databases (e.g., entity-relationship model), relational data model, functional dependencies. Database Manipulation: relational algebra, SQL, database application programming, triggers, access control. Database Implementation: transactions, concurrency control, recovery, query execution and query optimization.

courses@CS

COMP 202 - Foundations of Programming

Fall 2015, Winter 2016

Introduction to programming in a modern high-level language, modular software design and debugging. Programming concepts are illustrated using a variety of application areas.

courses@CS

COMP 559 - Fundamentals of Computer Animation

Winter 2016

Physically-based animation, constraints, stiff systems, motion capture, rigid body motion, collision detection, deformable solids.

courses@CS

COMP 512 - Distributed Systems

Fall 2015

Models and Architectures. Application-oriented communication paradigms (e.g. remote method invocation, group communication). Naming services. Synchronization (e.g. mutual exclusion, concurrency control). Fault-tolerance (e.g. process and replication, agreement protocols). Distributed file systems. Security. Examples of distributed systems (e.g. Web, CORBA). Advanced Topics.

courses@CS

COMP 553 - Algorithmic Game Theory

Fall 2015

Foundations of game theory. Computation aspects of equilibria. Theory of auctions and modern auction design. General equilibrium theory and welfare economics. Algorithmic mechanism design. Dynamic games.

courses@CS

COMP 307 - Principles of Web Development

Fall 2015

The course discusses the major principles, algorithms, languages and technologies that underlie web development. Students receive practical hands-on experience through a project.

research@CS

AQUA Robot

The AQUA project explores the sciences and technologies for the interpretation of underwater video footage, the identification of underwater features, human-robot interaction, the modeling of 3D scenes using vision and acoustics, vehicle control, position estimation, and mechanical design.

aquarobot.net

research@CS

Phylo: Human-based Computing for Bioinformatics

Phylo abstracts the multiple sequence alignment problem to a game where the goal will be to align words made by pieces of different color instead of letters representing the genetic code (A, C, G, T).

phylo.cs.mcgill.ca

research labs@CS


Crypto & Quantum Information

MC104,235

theoretical and practical crypography / quantum information theory / quantum computing
Quantum Communication in Rindler Spacetime


A state that an inertial observer in Minkowski space perceives to be the vacuum will appear to an accelerating observer to be a thermal bath of radiation. We study the impact of this Davies-Fulling-Unruh noise on communication.
Quantum trade-off coding for bosonic communication


The trade-off capacity region of a quantum channel characterizes the optimal net rates at which a sender can communicate classical, quantum, and entangled bits to a receiver by exploiting many independent uses of the channel.
Classical Communication over a quantum interference channel


Calculating the capacity of interference channels is a notorious open problem in classical information theory. Such channels have two senders and two receivers, and each sender would like to communicate with a partner receiver.
@crypto.cs.mcgill.ca

profs@CS

Jackie Chi Kit Cheung


Teaching

COMP 202 Foundations of Programming (Winter)
COMP 599 Topics in Computer Science 2 (Fall)

Research Natural language processing, Computational semantics, Natural language generation, Automatic summarization
@cs.mcgill.ca/~jcheung

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.

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.

Event Extraction and Understanding
What happens at a play? The audience enters the theatre, the lights go off, then the performance begins! We are developing computational models to extract typical sequences of events and their participants from text.

profs@CS

Jörg Kienzle


Research Software engineering, modelling and simulation, computer games, programming languages, parallel and distributed systems, compilers and concurrency, databases
@cs.mcgill.ca/~joerg/Home/Jorgs_Home.html

Mammoth
Mammoth is a massively multiplayer game research framework, whose 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. Mammoth has the industrial partners Quazal, Electronic Arts Montreal, and EJ-Technologies.

Reusable Aspect Models (RAM)
Reusable Aspect Models (RAM) is a novel approach to aspect-oriented modeling that makes scalable multi-view modeling possible. It allows the modeler to define stand-alone reusable aspect models, which support the modeling of structure (using UML class diagrams) and behavior (using UML state and sequence diagrams).

TouchRAM
TouchRAM is a multi-touch enabled tool for aspect-oriented software design aimed at developing scalable and reusable software design models, giving the designer access to a vast library of reusable design models encoding essential recurring design concerns, featuring a multi-touch enabled user interface.

profs@CS

Joelle Pineau


Teaching

COMP 424 Artificial Intelligence (Winter)
COMP 598 Topics in Computer Science 1 (Fall)

Research Bioinformatics and computational biology, robotics, machine learning, artificial intelligence
@cs.mcgill.ca/~jpineau

SmartWheeler: Multi-modal intelligent wheelchair control
This project looks at customizing a robotic wheelchair such that it can be operated by a person with severe mobility impairements. The goal is to optimize a flexible multi-modal interface that allows high-level control of the wheelchair in a manner that is safe and effective

Adaptive Treatment Design
Deep brain stimulation is a new treatment for epilepsy, but existing devices do not adapt to the patient's condition - we create an improved class of devices with adaptive control.

Extracting Semantic Information from Wikipedia
Research in automatic suggestion of topics to augument text documents, completing Wikipedia's hyperlink structure through dimensionality reduction, and inferring semantic distances between concepts.

profs@CS

Derek Ruths


Teaching

COMP 767 Advanced Topics: Applications 2 (Winter)

Research Bioinformatics and computational biology, networked systems (social, economic, biological)
@ruthsresearch.org

Demographic Inference
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.

Community Identification
Like any living system, human communities are born, 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.

Origin of Biological Robustness: Why are Living thing hard to kill?
Despite the complex biochemical processes at work in cells, you can mess with a cell's DNA, douse it in toxins, and expose it to extreme temperatures and it will survive. We're working to uncover aspects of cellular design that evolution has used to make living systems so resilient.