David R. Cheriton
School of Computer Science

Research Directory
2008/2009

University of Waterloo, 200 University Avenue, West
Waterloo, Ontario, N2L 3G1, Canada

I am pleased to present the most recent edition of our Research Directory. It provides an overview of our broad and varying research activities.

The David R. Cheriton School of Computer Science is one of the leading computer science units in the world. It is also one of the largest, with 78 faculty members, 1700 undergraduate students, close to 300 graduate students, and over 50 staff. Our size allows us to engage in research activities in a wide range of computer science and information systems topics. Our research is scientifically important - a study by Science Watch in 2005 identified our research as having the most scientific impact among 46 Canadian computer science units. Among our faculty we note three members of the Royal Society of Canada, one Officer of the Order of Canada, two Fellows of the ACM, one Fellow of the AAAI, four Canada Research Chairs and many other award winners.

Our research is also practically relevant - about 24% of all university spin-off companies in Canada are from the University of Waterloo and computer science plays a prominent role in many of these. Among many of our accomplishments, the following are perhaps the best known:

the development of the WATFOR and WATFIV compilers, which were critically important in training a whole generation of programmers;
the development of the Maple symbolic computation system, now one of the leading software products in its domain; and
the digitization of the Oxford English Dictionary, which was the first major research and development project in electronic publishing and digital libraries.

Recently, we celebrated two milestones: the 50th anniversary of the University of Waterloo and the 40th anniversary of Computer Science. Given the relative youth of computer science as an academic discipline, this puts as as one of the pioneers in the field. The celebrations acknowledge the key role of the past in putting University of Waterloo and Computer Science on the academic map as an innovative and world-class research institution. We are committed to maintaining our leadership position in education and research. The research activities described here give an overview of where we are and what we do.

M. Tamer Özsu, Director
David R. Cheriton School of Computer Science
University of Waterloo

Research Areas

Affiliated Institutes and Centres

Individual Research

Other Information

Index

Adaptive Systems: Johnny W. Wong.
Adversarial IR: Gordon V. Cormack.
Aesthetic Programming: John Beatty.
Algorithm: Bin Ma.
Algorithm For Networks: Algorithms and Complexity.
Algorithms: Therese Biedl, Ben Reichardt, Dan Brown, Richard Cleve, Douglas Robert Stinson, Mark Giesbrecht.
Algorithms For Multicore Architectures: Alejandro (Alex) López-Ortiz.
Applied Cryptography: Urs Hengartner.
Applied Perception: William B. Cowan.
Artificial Intelligence: Kate Larson, Pascal Poupart, Robin Cohen, Peter van Beek.
Assistive Technologies: Pascal Poupart.
Asynchronous Circuits: Janusz (John) Brzozowski.
Asynchronous I/O: Programming Languages.
Automata: Janusz (John) Brzozowski.
Banking: Ian McKillop.
Binary Decision Diagrams: Nancy Day, Ondrej Lhoták, Programming Languages.
Bioinformatics: Bin Ma, Dan Brown.
Biomedical Modelling: Scientific Computation.
Biomedical Natural Language Processing: Chrysanne Di Marco, Artificial Intelligence.
Biomedical Simulation: Justin Wan.
Biophysically-based Rendering: Gladimir V. G. Baranoski.
Business Intelligence: Ian McKillop.
CNC Machining: Stephen Mann.
Caching and Paging: Alejandro (Alex) López-Ortiz.
Classification: Information Retrieval.
Clustering: Shai Ben-David, Computational Statistics.
Colour: Computer Graphics.
Combinatorics: Douglas Robert Stinson.
Commercialization: Vic DiCiccio.
Complexity: Mark Giesbrecht.
Complexity Theory: Richard Cleve, Quantum Computing.
Computational Finance: George Labahn, Justin Wan, Peter Forsyth, Yuying Li, Scientific Computation.
Computational Geometry: Anna Lubiw, Therese Biedl, Algorithms and Complexity.
Computational Linguistics: Chrysanne Di Marco, Artificial Intelligence.
Computational Vision: Artificial Intelligence.
Computer Algebra: Arne Storjohann, Keith Geddes, Mark Giesbrecht.
Computer Algebra Systems: Keith Geddes.
Computer Architecture: Andrew Morton.
Computer Graphics: Michael D. McCool, Computer Graphics.
Computer Networking: S. Keshav.
Computer Research: Vic DiCiccio.
Computer Science Education: Troy Michael John Vasiga.
Computing Competitions: Troy Michael John Vasiga.
Concurrency: Peter Buhr.
Concurrent Programming: Programming Languages.
Constraint Programming: Peter van Beek, Artificial Intelligence.
Constraint Satisfaction: Peter van Beek.
Continuous Optimization: Yuying Li.
Cryptography: Douglas Robert Stinson, Ian Goldberg, Cryptography, Security, and Privacy, Quantum Computing.
Data Access Control: Frank Tompa.
Data Compression: Alejandro (Alex) López-Ortiz, Gordon V. Cormack, J. Ian Munro.
Data Streams: M. Tamer Özsu.
Data Structures: J. Ian Munro.
Data Transformation: Frank Tompa.
Data Visualization: Edward Chan, Computational Statistics.
Database: M. Tamer Özsu, Database Systems.
Database Constraint Theory: Grant Weddell.
Database Security: Database Systems.
Database Systems: Edward Chan, Ihab F. Ilyas, Kenneth Salem.
Database Theory: David Toman.
Databases: Khuzaima Daudjee.
Decidability and Complexity of Decision Procedures: David Toman.
Decision-theoretic Learning: Artificial Intelligence.
Decision-theoretic Planning: Artificial Intelligence.
Delay-tolerant Networks: Urs Hengartner.
Description Logics: David Toman, Grant Weddell.
Design: Michael Terry, Computer Graphics.
Design and Analysis of Algorithms: Arne Storjohann.
Desktop Search: Information Retrieval.
Digital Libraries: Chrysanne Di Marco.
Distributed Computing: Tim Brecht.
Distributed Database: M. Tamer Özsu, Database Systems.
Distributed Systems: David J. Taylor, James P. Black, Networks and Distributed Systems.
Document Management: Frank Tompa.
Drug Design Algorithms: Forbes Burkowski.
Economics: Martin Karsten.
Electronic Commerce: Anne Banks Pidduck, Kate Larson, Robin Cohen.
Embedded Systems: Andrew Morton.
Evaluation Methodology: Gordon V. Cormack.
Evolution: Dan Brown.
Exact Linear Algebra: Arne Storjohann.
Fault Tolerance: Ben Reichardt, David J. Taylor.
Feature Interactions: Joanne Atlee, P.Eng., Nancy Day.
File Systems: Kenneth Salem.
Financial Systems: Ian McKillop.
Formal Languages: Janusz (John) Brzozowski, Algorithms and Complexity.
Formal Methods: Janusz (John) Brzozowski, Joanne Atlee, P.Eng., Nancy Day.
Formal Specification: Nancy Day.
Formal Validation and Verification: Nancy Day.
Foundations of Data Mining: Shai Ben-David.
Game Theory: Kate Larson.
Genome Analysis: Bioinformatics.
Geometric Algebra: Stephen Mann.
Geometric Games: Therese Biedl.
Graph Algorithms: Anna Lubiw.
Graph Drawing: Anna Lubiw, Therese Biedl, Algorithms and Complexity.
HCI: Michael Terry.
Handhelds: Edward Lank.
Haplotype Inference: Bioinformatics.
Hashing: J. Ian Munro.
Health Informatics: Chrysanne Di Marco, Ian McKillop.
High-performance Computing: Michael D. McCool.
Homology Search: Bin Ma, Bioinformatics.
Human Computer Interaction: Michael Terry.
Human Factors: Human Computer Interaction.
Human Modeling: Human Computer Interaction.
Hybrid Symbolic-numeric Computation: Keith Geddes.
Incentive Mechanisms: Robin Cohen.
Indexing: Edward Chan.
Industry Collaborations: Vic DiCiccio.
Industry Interaction: Vic DiCiccio.
Information Intregration: Grant Weddell.
Information Management: Ian McKillop.
Information Retrieval: Alejandro (Alex) López-Ortiz, Charles Clarke, Gordon V. Cormack, Information Retrieval.
Information Systems Management: Anne Banks Pidduck.
Information Theory: Quantum Computing.
Innovation and the University: William B. Cowan.
Intelligent Interaction: Robin Cohen.
Intelligent User Interfaces: Artificial Intelligence, Human Computer Interaction.
Intention: Edward Lank.
Interaction Design: Michael Terry.
Interactive: Computer Graphics.
Interactive Computer Graphics: William B. Cowan.
Internet: Martin Karsten.
Internet Services: Tim Brecht.
Kinematics: Edward Lank.
Knowledge Representation and Reasoning: David Toman.
Learning Theory: Algorithms and Complexity.
Location-based Services: Urs Hengartner.
Lower Bounds: J. Ian Munro.
Machine Learning: Gordon V. Cormack, Pascal Poupart, Shai Ben-David, Artificial Intelligence, Computational Statistics.
Main Memory Databases: Grant Weddell.
Many-core Processing: Michael D. McCool.
Maple: Keith Geddes.
Markov Decision Processes: Pascal Poupart.
Mass Spectrometry: Bin Ma, Bioinformatics.
Mechanism Design: Kate Larson.
Mechanized Theorem Proving: Nancy Day.
Medical Image Processing: Scientific Computation.
Medical Imaging: Justin Wan.
Mining Software Repositories: Richard C. Holt.
Mission-oriented Research: Vic DiCiccio.
Mobile Computing: James P. Black.
Model Checking: Nancy Day.
Model-driven Design & Implementation: Donald Cowan.
Model-driven Design and Implementation: Nancy Day.
Model-driven Engineering: Joanne Atlee, P.Eng., Nancy Day.
Modelling Languages: Nancy Day.
Motif Discovery: Bioinformatics.
Multi-agent Systems: Artificial Intelligence.
Multi-core Processing: Michael D. McCool.
Multiagent Systems: Kate Larson, Robin Cohen.
Multimedia Database: M. Tamer Özsu, Database Systems.
Natural Language Ambiguity: Daniel M. Berry.
Natural Language Pragmatics: Chrysanne Di Marco.
Natural Language Processing: Pascal Poupart.
Network Protocols: Martin Karsten.
Networking: Tim Brecht.
Networks: Networks and Distributed Systems.
Non-intrusiveness: James P. Black.
Numerical Linear Algebra: Alan George.
Numerical Methods: Justin Wan.
Numerical Software: Alan George.
Numerical Solution of Partial Differential Equations: Peter Forsyth.
Online Algorithms: Alejandro (Alex) López-Ortiz.
Ontology Languages: Grant Weddell.
Open Source: Michael Terry.
Open Source Usability: Human Computer Interaction.
Operating Systems: Tim Brecht, Martin Karsten.
Opportunistic Communication: S. Keshav.
Optimal Control: Peter Forsyth.
Optimization: Peter van Beek.
Overloading: Peter Buhr.
P2P: Khuzaima Daudjee.
Parallel Computing: Tim Brecht.
Parallel Processing: Justin Wan.
Parallel Programming: Michael D. McCool.
Parallelism: Peter Buhr.
Parametric Polymorphism: Peter Buhr.
Partially Ordered Events: David J. Taylor.
Pattern: Computer Graphics.
Pattern Analysis: Computational Statistics.
Pen-math: George Labahn.
Performance: Martin Karsten.
Performance Evaluation: Tim Brecht, Johnny W. Wong, Networks and Distributed Systems.
Persistence: Peter Buhr.
Pervasive and Ubiquitous Computing: James P. Black.
Physically-based Animation: Scientific Computation.
Planning: Peter van Beek.
Pointer Analysis: Ondrej Lhoták, Programming Languages.
Polyhedra: Anna Lubiw.
Privacy: Ian Goldberg, Urs Hengartner, Cryptography, Security, and Privacy.
Probabilistic Analysis: Dan Brown.
Profiling/debugging: Programming Languages.
Program Analysis: Ondrej Lhoták.
Program Comprehension: Michael Godfrey.
Programming Languages: John Beatty.
Protein Fold Recognition: Bioinformatics.
Protein Identification: Bioinformatics.
Protein Ligand Interactions: Forbes Burkowski.
Protocols: Networks and Distributed Systems.
Quality of Service: Martin Karsten.
Quantum Algorithms: John Watrous, Quantum Computing.
Quantum Complexity Theory: John Watrous.
Quantum Computing: Ben Reichardt, Richard Cleve, Algorithms and Complexity, Quantum Computing.
Quantum Interactive Proof Systems: John Watrous.
Quantum Zero-knowledge: John Watrous.
Query Optimization: Ihab F. Ilyas.
Query Processing: Edward Chan, M. Tamer Özsu.
Question Answering: Charles Clarke.
Ranking: Information Retrieval.
Ranking and Top-k Queries: Ihab F. Ilyas.
Real-time: Peter Buhr.
Reasoning Under Uncertainty: Pascal Poupart, Computational Statistics.
Requirements Elicitation: Daniel M. Berry.
Requirements Engineering: Daniel M. Berry, Nancy Day.
Requirements Inspection: Daniel M. Berry.
Reverse Engineering: Michael Godfrey.
Rural Development: S. Keshav.
Safety: Nancy Day.
Scheduling: Andrew Morton, Peter van Beek.
Scientific Computing: Yuying Li.
Search Engines: Alejandro (Alex) López-Ortiz, Algorithms and Complexity.
Security: Douglas Robert Stinson, Ian McKillop, Ian Goldberg, Urs Hengartner, Cryptography, Security, and Privacy.
Self-management: Kenneth Salem.
Self-managing Database: Database Systems.
Self-managing Systems: Networks and Distributed Systems.
Semantic Query Optimization: Grant Weddell.
Semantic Web: Grant Weddell.
Sequence Analysis: Dan Brown.
Service-oriented Architectures: Donald Cowan.
Simulation of Natural Phenomena: Gladimir V. G. Baranoski.
Software Architecture: Richard C. Holt, Michael Godfrey.
Software Engineering: Anne Banks Pidduck, Donald Cowan, Richard C. Holt, Michael Godfrey, Nancy Day, Programming Languages.
Software Engineering Education and Professionalism: Joanne Atlee, P.Eng..
Software Evolution: Michael Godfrey.
Software Maintenance: Donald Cowan.
Software Requirements: Joanne Atlee, P.Eng., Nancy Day.
Software Reverse Engineering: Richard C. Holt.
Software Verification: Nancy Day, Ondrej Lhoták.
Spam: Information Retrieval.
Spam Filtering: Gordon V. Cormack.
Sparse Matrices: Peter Forsyth.
Sparse Matrix: Scientific Computation.
Sparse Matrix Computation: Alan George.
Spatial Database: Database Systems.
Spline Surfaces: Stephen Mann.
Splines: John Beatty, Computer Graphics.
Statistics: Computational Statistics.
Storage Systems: Kenneth Salem.
String Search: J. Ian Munro.
Structural Bioinformatics: Forbes Burkowski.
Structural Biology: Forbes Burkowski.
Structure Discovery: Computational Statistics.
Stylus: Edward Lank.
Succinct Data Structures: J. Ian Munro, Algorithms and Complexity.
Symbolic Computation: George Labahn, Keith Geddes, Mark Giesbrecht, Symbolic Computation.
System Monitoring: David J. Taylor.
System and Network Resource Management: Johnny W. Wong.
Tablet: Edward Lank.
Temporal Aspects of Information Systems: David Toman.
Temporal Constraints: Grant Weddell.
Temporal Database: Database Systems.
Text Data Mining: Frank Tompa.
Text-dominated Databases: Frank Tompa.
Theoretical Computer Science: John Watrous.
Topic Modeling: Pascal Poupart.
Trees: J. Ian Munro.
Trust and Reputation: Robin Cohen.
Type Systems: Programming Languages.
Ubiquitous Computing: Human Computer Interaction, Networks and Distributed Systems.
Uncertain and Probabilistic Databases: Ihab F. Ilyas.
Usability: Ian Goldberg, Michael Terry, Human Computer Interaction.
User Interfaces: John Beatty, Michael Terry, Computer Graphics, Human Computer Interaction.
User Modeling: Robin Cohen.
Visualization: Peter Buhr.
Voting Systems: Urs Hengartner.
Web Search: Charles Clarke, Information Retrieval.
Web-based Information Systems: Donald Cowan.
Wireless Networks: S. Keshav.
XML: Charles Clarke, Frank Tompa, M. Tamer Özsu, Database Systems, Information Retrieval.

David R. Cheriton School of Computer Science
University of Waterloo
Waterloo, Ontario, Canada N2L 3G1

Tel: 519-888-4567 x33293
Fax: 519-885-1208

Contact | Feedback: cs-webmaster@cs.uwaterloo.ca | David R. Cheriton School of Computer Science | Faculty of Mathematics

Last modified: Tuesday, 20-Jul-2010 12:33:47 EDT