David R. Cheriton
School of Computer Science

Research Directory
2011/2012

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.

Faculty and graduate students in the School continue to develop fundamental research results, publish in important journals and conferences, and move research into practice by working with industrial partners and starting spin-off companies. 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.

David Taylor, Director
David R. Cheriton School of Computer Science
University of Waterloo

Research Areas

Affiliated Institutes and Centres

Individual Research

Other Information

Index

Abstraction Techniques Used In Program Analysis: Richard Trefler.
Adaptive Systems: Johnny Wong.
Adversarial IR: Gordon V Cormack.
Algebra: Jeffrey O Shallit.
Algorithms: Therese Biedl, Bin Ma, Ben R.W. Reichardt, Daniel G Brown, Richard Erwin Cleve, Douglas R Stinson, Ming Li, Mark Giesbrecht, Naomi Nishimura, Jeffrey O Shallit.
Algorithms For Large Data Sets: Algorithms and Complexity.
Algorithms For Multicore Architectures: Alejandro López-Ortiz.
Analysis of Distributed Systems: Richard Trefler.
Analysis of Reactive Systems: Richard Trefler.
Applied Perception: William B Cowan.
Artificial Intelligence: Daniel Lizotte, Jesse Hoey, Katherine Larson, Pascal Poupart, Robin Cohen, Peter Van Beek.
Assistive Technologies: Pascal Poupart.
Asynchronous Circuits: Janusz A. Brzozowski.
Asynchronous I/O: Programming Languages.
Attention: William B Cowan.
Automata: Janusz A. Brzozowski.
Automata On Infinite Objects: Richard Trefler.
Automata Theory: Jeffrey O Shallit.
Automated Analysis of Computer Programs: Richard Trefler.
Banking: Ian McKillop.
Binary Decision Diagrams: Nancy Day, Ondrej Lhoták, Programming Languages.
Bioinformatics: Bin Ma, Daniel G Brown, Ming Li.
Biomedical Modelling: Scientific Computation.
Biomedical Natural Language Processing: Chrysanne DiMarco, Artificial Intelligence.
Biomedical Simulation: Justin Wing Lok Wan.
Biophysically-based Rendering: Gladimir Baranoski.
Biostatistics: Daniel Lizotte.
Brain: Jeffery John Orchard.
Business Intelligence: Ian McKillop.
CNC Machining: Stephen Mann.
Caching and Paging: Alejandro López-Ortiz.
Classification: Information Retrieval.
Cloud Computing: Ashraf Ismail Aboulnaga, Raouf Boutaba.
Clustering: Shai Ben-David, Computational Statistics.
Colour: William B Cowan, Computer Graphics.
Combinatorics: Douglas R Stinson.
Combinatorics On Words: Jeffrey O Shallit.
Commercialization: Vic DiCiccio.
Complexity: Richard Erwin Cleve, Mark Giesbrecht, Quantum Computing.
Compositional Reasoning For Program Analysis: Richard Trefler.
Computational Complexity: Jeffrey O Shallit.
Computational Finance: George Labahn, Justin Wing Lok Wan, Peter Forsyth, Yuying Li, Scientific Computation.
Computational Geometry: Anna Lubiw, Therese Biedl, Craig Steven Kaplan, Algorithms and Complexity.
Computational Linguistics: Chrysanne DiMarco, Artificial Intelligence.
Computational Neuroscience: Jeffery John Orchard.
Computational Vision: Jesse Hoey, Artificial Intelligence.
Computer Algebra: Arne Storjohann, Keith O Geddes, Mark Giesbrecht.
Computer Algebra Systems: Keith O Geddes.
Computer Architecture: Andrew R R Morton.
Computer Graphics: Craig Steven Kaplan, Computer Graphics.
Computer Networking: Srinivasan Keshav.
Computer Science Education: Troy M J Vasiga.
Computer and Networks Security: Urs Hengartner.
Computing Competitions: Troy M J Vasiga.
Concurrency: Peter Buhr.
Concurrent Programming: Programming Languages.
Constraint Programming: Peter Van Beek, Artificial Intelligence.
Constraint Satisfaction: Peter Van Beek.
Continuous Optimization: Yuying Li.
Cryptographic and Online Voting: Urs Hengartner.
Cryptography: Douglas R Stinson, Ian Goldberg, Cryptography, Security, and Privacy (CrySP), Quantum Computing.
Data Access Control: Frank W Tompa.
Data Compression: Alejandro López-Ortiz, Gordon V Cormack, J. Ian Munro.
Data Integration: Ashraf Ismail Aboulnaga.
Data Streams: M. Tamer Özsu.
Data Structures: J. Ian Munro.
Data Transformation: Frank W Tompa.
Data Visualization: Edward Chan, Computational Statistics.
Database Constraint Theory: Grant E Weddell.
Database Systems: Edward Chan, Ihab F Ilyas Kaldas, Kenneth Salem, Database Systems.
Database Theory: David Toman.
Databases: Ashraf Ismail Aboulnaga, Khuzaima Daudjee, M. Tamer Özsu.
Decidability and Complexity of Decision Procedures: David Toman.
Decision Theory: Jesse Hoey.
Decision-theoretic Learning: Artificial Intelligence.
Decision-theoretic Planning: Artificial Intelligence.
Description Logics: David Toman, Grant E Weddell.
Design: Michael Terry, Computer Graphics.
Design and Analysis of Algorithms: Arne Storjohann.
Desktop Search: Information Retrieval.
Digital Libraries: Chrysanne DiMarco.
Discrete Mathematics: Jeffrey O Shallit.
Distributed Computing: Timothy Brecht.
Distributed Database: M. Tamer Özsu.
Distributed Databases: Database Systems.
Distributed Systems: David J Taylor, Networks and Distributed Systems.
Document Management: Frank W Tompa.
Drug Design Algorithms: Forbes J Burkowski.
Elastic Computing: Ashraf Ismail Aboulnaga.
Electronic Commerce: Anne B Pidduck, Katherine Larson, Robin Cohen.
Electronic Publication: Daniel Berry.
Embedded Systems: Andrew R R Morton.
Evaluation Methodology: Gordon V Cormack.
Evolution: Daniel G Brown.
Exact Linear Algebra: Arne Storjohann.
Fault Tolerance: Ben R.W. Reichardt, David J Taylor.
Feature Interactions: Joanne Atlee, Nancy Day.
File Systems: Kenneth Salem.
Financial Systems: Ian McKillop.
Formal Languages: Janusz A. Brzozowski, Jeffrey O Shallit, Algorithms and Complexity.
Formal Methods: Janusz A. Brzozowski, Joanne Atlee, Nancy Day.
Formal Specification: Nancy Day.
Formal Validation and Verification: Nancy Day.
Foundations of Data Mining: Shai Ben-David.
Game Theory: Katherine Larson.
Genome Analysis: Bioinformatics.
Geometric Algebra: Stephen Mann.
Geometric Games: Therese Biedl.
Gesture-based Interaction: Human Computer Interaction.
Graph Algorithms: Anna Lubiw, Naomi Nishimura.
Graph Drawing: Anna Lubiw, Therese Biedl, Algorithms and Complexity.
HCI: Michael Terry.
Hadoop: Ashraf Ismail Aboulnaga.
Handhelds: Edward Lank.
Haplotype Inference: Bioinformatics.
Hashing: J. Ian Munro.
Health Informatics: Chrysanne DiMarco, Ian McKillop, Jesse Hoey, Pascal Poupart.
Hidden Markov Models: Daniel G Brown.
Homology Search: Bin Ma, Bioinformatics.
Human Computer Interaction: Craig Steven Kaplan, Jesse Hoey, Michael Terry.
Human Modeling: Human Computer Interaction.
Hybrid Symbolic-numeric Computation: Keith O Geddes, Symbolic Computation.
Image Processing: Jeffery John Orchard.
Incentive Mechanisms: Robin Cohen.
Indexing: Edward Chan.
Information Integration: Grant E Weddell.
Information Management: Ian McKillop.
Information Privacy: Urs Hengartner.
Information Retrieval: Alejandro López-Ortiz, Charles L.A Clarke, Gordon V Cormack, Information Retrieval.
Information Systems Assurance: Ian McKillop.
Information Systems Management: Anne B Pidduck.
Information Theory: Quantum Computing.
Intelligent Interaction: Robin Cohen.
Intelligent User Interfaces: Artificial Intelligence.
Intention: Edward Lank.
Interaction Design: Michael Terry.
Interactive: Computer Graphics.
Internet: Srinivasan Keshav, Martin Karsten.
Internet Services: Timothy Brecht.
Intrusion Detection and Prevention Systems: Raouf Boutaba.
Kinematics: Edward Lank.
Knowledge Representation and Reasoning: David Toman.
Kolmogorov Complexity: Ming Li.
Learning Theory: Algorithms and Complexity.
Location Privacy: Urs Hengartner.
Lower Bounds: J. Ian Munro.
Machine Learning: Daniel Lizotte, Gordon V Cormack, Pascal Poupart, Shai Ben-David, Artificial Intelligence, Computational Statistics.
Main Memory Databases: Grant E Weddell.
Maple: Keith O Geddes.
Markov Decision Processes: Jesse Hoey, Pascal Poupart.
Mass Spectrometry: Bin Ma, Bioinformatics.
Mechanism Design: Katherine Larson.
Mechanized Theorem Proving: Nancy Day.
Medical Image Processing: Scientific Computation.
Medical Imaging: Jeffery John Orchard, Justin Wing Lok Wan.
Mining Software Repositories: Richard Holt.
Mission-oriented Research: Vic DiCiccio.
Mobile Computing: Human Computer Interaction.
Modal Logic: Richard Trefler.
Model Checking: Nancy Day, Richard Trefler.
Model-driven Design and Implementation: Donald Cowan, Nancy Day.
Model-driven Engineering: Joanne Atlee, Nancy Day.
Modelling Languages: Nancy Day.
Modelling and Analysis: Software Engineering.
Molecular Embedding Algorithms: Forbes J Burkowski.
Motif Discovery: Bioinformatics.
Multi-agent Systems: Katherine Larson, Robin Cohen, Artificial Intelligence.
Multimedia Database: M. Tamer Özsu.
Music Information Retrieval: Daniel G Brown.
Natural Language Ambiguity: Daniel Berry.
Natural Language Pragmatics: Chrysanne DiMarco.
Natural Language Processing: Pascal Poupart.
Network Architecture: Martin Karsten.
Network Management: Raouf Boutaba.
Network Protocols: Martin Karsten.
Network Vistrualization Environments: Raouf Boutaba.
Networks: Timothy Brecht, Networks and Distributed Systems.
Neural Networks: Jeffery John Orchard.
Number Theory: Jeffrey O Shallit.
Numerical Linear Algebra: J.Alan George.
Numerical Methods: Justin Wing Lok Wan.
Numerical Software: J.Alan George.
Numerical Solution of Partial Differential Equations: Peter Forsyth.
Online Algorithms: Alejandro López-Ortiz.
Ontology Languages: Grant E Weddell.
Open Source: Michael Terry.
Open Source Usability: Human Computer Interaction.
Operating Systems: Timothy Brecht, Martin Karsten.
Optimal Control: Peter Forsyth.
Optimization: Peter Van Beek, Scientific Computation.
Ornamental Design: Craig Steven Kaplan.
Overloading: Peter Buhr.
Parallel Computing: Timothy Brecht.
Parallel Processing: Justin Wing Lok Wan, Database Systems.
Parallelism: Peter Buhr.
Parameterized Complexity: Naomi Nishimura.
Parametric Polymorphism: Peter Buhr.
Partially Ordered Events: David J Taylor.
Pattern: Computer Graphics.
Pattern Analysis: Computational Statistics.
Peer-to-peer Networks: Khuzaima Daudjee, Raouf Boutaba.
Pen-based Computing: Human Computer Interaction.
Pen-math: George Labahn.
Perception: William B Cowan.
Performance: Martin Karsten.
Performance Evaluation: Timothy Brecht, Johnny Wong, Networks and Distributed Systems.
Persistence: Peter Buhr.
Phylogeny Algorithms: Daniel G Brown.
Physically-based Animation: Scientific Computation.
Picture Perception: William B Cowan.
Planning: Peter Van Beek.
Pointer Analysis: Ondrej Lhoták, Programming Languages.
Polyhedra: Anna Lubiw.
Privacy: Ian Goldberg, Cryptography, Security, and Privacy (CrySP).
Privacy In (mobile) Online Social Networking: Urs Hengartner.
Privacy and Security: Database Systems.
Probabilistic Analysis: Daniel G Brown.
Probabilistic Models: Jesse Hoey.
Profiling/debugging: Programming Languages.
Program Analysis: Ondrej Lhoták.
Program Comprehension: Michael Godfrey.
Programming Languages: Craig Steven Kaplan.
Protein Flexibility: Forbes J Burkowski.
Protein Fold Recognition: Bioinformatics.
Protein Identification: Bioinformatics.
Protein Ligand Interactions: Forbes J 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 R.W. Reichardt, Richard Erwin Cleve, Algorithms and Complexity, Quantum Computing.
Quantum Interactive Proof Systems: John Watrous.
Quantum Zero-knowledge: John Watrous.
Query Optimization: Ihab F Ilyas Kaldas.
Query Processing: Edward Chan, Database Systems.
Question Answering: Charles L.A Clarke.
Ranking: Information Retrieval.
Ranking and Top-k Queries: Ihab F Ilyas Kaldas.
Real-time: Peter Buhr.
Reasoning Under Uncertainty: Pascal Poupart, Computational Statistics.
Reinforcement Learning: Daniel Lizotte.
Requirements Elicitation: Daniel Berry.
Requirements Engineering: Daniel Berry, Nancy Day, Software Engineering.
Requirements Inspection: Daniel Berry.
Resource Management: Raouf Boutaba.
Reverse Engineering: Michael Godfrey.
Safety: Nancy Day.
Scheduling: Andrew R R Morton, Peter Van Beek.
Schema Mapping: Ashraf Ismail Aboulnaga.
Scientific Computing: Yuying Li.
Search Engines: Alejandro López-Ortiz.
Search Engines and Networks: Algorithms and Complexity.
Security: Douglas R Stinson, Ian McKillop, Ian Goldberg, Cryptography, Security, and Privacy (CrySP).
Self-management: Kenneth Salem.
Self-managing Database Systems: Ashraf Ismail Aboulnaga.
Self-managing Systems: Database Systems, Networks and Distributed Systems.
Semantic Query Optimization: Grant E Weddell.
Semantic Web: Grant E Weddell.
Sensory Substitution: William B Cowan.
Sequence Alignment: Daniel G Brown.
Sequence Analysis: Daniel G Brown.
Service Management: Raouf Boutaba.
Service-oriented Architectures: Donald Cowan.
Simulation of Natural Phenomena: Gladimir Baranoski.
Smart Grid: Srinivasan Keshav.
Smart Grid Communications: Raouf Boutaba.
Smart Interfaces: Human Computer Interaction.
Social Networks: Raouf Boutaba.
Software Architecture: Richard Holt, Michael Godfrey, Software Engineering.
Software Development Tools: Reid Holmes.
Software Engineering: Anne B Pidduck, Donald Cowan, Richard Holt, Michael Godfrey, Nancy Day, Reid Holmes, Programming Languages.
Software Engineering Education and Professionalism: Joanne Atlee.
Software Evolution: Michael Godfrey, Reid Holmes, Software Engineering.
Software Maintenance: Donald Cowan.
Software Requirements: Joanne Atlee, Nancy Day.
Software Reuse: Reid Holmes, Software Engineering.
Software Reverse Engineering: Richard Holt.
Software Verification: Nancy Day, Ondrej Lhoták.
Spam: Information Retrieval.
Spam Filtering: Gordon V Cormack.
Sparse Matrix: J.Alan George, Peter Forsyth, Scientific Computation.
Spatial and Temporal Databases: Database Systems.
Spline Surfaces: Stephen Mann.
Splines: Computer Graphics.
Static and Dynamic Analysis: Software Engineering.
Statistics: Daniel Lizotte, Computational Statistics.
Storage Systems: Kenneth Salem.
String Search: J. Ian Munro.
Structural Bioinformatics: Forbes J Burkowski.
Structural Biology: Forbes J Burkowski.
Structure Discovery: Computational Statistics.
Stylus: Edward Lank.
Succinct Data Structures: J. Ian Munro, Algorithms and Complexity.
Symbolic Computation: George Labahn, Keith O Geddes, Mark Giesbrecht, Symbolic Computation.
System Monitoring: David J Taylor.
System and Network Resource Management: Johnny Wong.
Tablet: Edward Lank.
Temporal Aspects of Information Systems: David Toman.
Temporal Constraints: Grant E Weddell.
Temporal Logic: Richard Trefler.
Text Data Mining: Frank W Tompa.
Text-dominated Databases: Frank W Tompa.
Theoretical Computer Science: John Watrous.
Tiling Theory: Craig Steven Kaplan.
Topic Modeling: Pascal Poupart.
Touch-based Interaction: Human Computer Interaction.
Trees: J. Ian Munro.
Trust and Reputation: Robin Cohen.
Type Systems: Programming Languages.
Ubiquitous Computing: Networks and Distributed Systems.
Uncertain and Probabilistic Databases: Ihab F Ilyas Kaldas.
Usability: Ian Goldberg, Michael Terry.
User Interfaces: Michael Terry, Computer Graphics.
User Modeling: Robin Cohen.
Virtualization: Ashraf Ismail Aboulnaga.
Vision: Jeffery John Orchard.
Visualization: Peter Buhr.
Web Search: Charles L.A Clarke, Information Retrieval.
Web-based Information Systems: Donald Cowan.
Web-based Systems: Software Engineering.
Wireless Networks: Srinivasan Keshav.
Wireless Sensor Networks: Raouf Boutaba.
Workload Management: Ashraf Ismail Aboulnaga.
XML: Charles L.A Clarke, Frank W 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, 11-Jan-2011 10:13:11 EST