Contacts

Degrees

• Ph.D., University of Toronto (1994)
• M.Math., University of Waterloo (1985)
• B.Sc., University of Saskatchewan (1983)

Research interests

• Performance Evaluation, Computer Systems and Networking
• Wireless Networking, The Internet of Things
• Sports Analytics

Publications

Tim Brecht Publications

Degrees

• Ph.D., Massachusetts Institute of Technology (1986)
• B.Sc., California Institute of Technology (1982)

Research interests

• Computational complexity and models of feasible computation

Publications

Jonathan Buss on DBPL
 

Degrees

• Ph.D., University of Manitoba (1981)
• M.Sc., University of Manitoba (1978)
• B.Sc., University of Manitoba (1977)

Research interests

• High Recall Information Retrieval
• Legal and medical applications of Information Retrieval

Publications

Gordon Cormack on Google Scholar

Degrees

• D.Sc. (honoris causa), University of Guelph (2011)
• Ph.D., University of Waterloo (1965)
• M.Sc., University of Waterloo (1961)
• B.A.Sc., University of Toronto (1960)

Research interests

• Software engineering methods for constructing and verifying advanced software systems and applications
• Development of advanced software systems and applications incorporating novel database systems and artificial intelligence components

Publications

Donald Cowan Publications

Publications

Chrysanne DiMarco on DBPL

Degrees

• Ph.D., University of Western Ontario (1979)
• M.Sc., Australian National University, Australia (1977)
• B.Sc., University of Western Ontario (1975)

Research interests

• Computational finance
• Machine learning methods for optimal stochastic control in finance

Publications

Peter Forsyth on Google Scholar

Degrees

• Ph.D., Stanford University (1971)
• M.Sc., University of Alberta (1966)
• B.Sc., University of Alberta (1964)

Research interests

• My primary focus is the (numerous and varied) problems associated with solving very large sparse systems of equations
• Some examples include analysis of the complexity of certain algorithms, numerical stability issues, design of efficient data structures, design of software packages with good user interfaces, and automatic identification of exploitable parallelism in sparse matrix computations

Srinivasan Keshav is the Robert Sansom Professor of Computer Science in the Department of Computer Science and Technology at the University of Cambridge and a Fellow of Fitzwilliam College. Previously, he was a Professor at the David R. Cheriton School of Computer Science.

Although he started out as a researcher in computer networking in 1988, since 2010 his focus has been on reducing the carbon footprint of energy generation, transportation, and buildings. For the past couple of years, he also worked on improving the performance of the Hyperledger Fabric blockchain so that it can be used as the foundation for highly-scalable energy systems, such as for transactive energy and renewable energy certificates. 

He has recently turned his attention to the carbon sequestration and biodiversity potential of forests, looking at both conservation and restoration.

Degrees

• Ph.D., University of Alberta (1988)
• M.Sc., University of Alberta (1986)
• B.Sc., University of Alberta (1973)

Research interests

• Symbolic Computation/Computer Algebra
• Scientific Computation/Computational Finance

Publications

George Labahn Publications

Degrees

• Ph.D., Cornell University, United States (1985)
• M.Sc., Cornell University, United States (1983)
• M.Sc., Wayne State University, United States (1980)

Research interests

• Recently I am working on methods for personalized cancer immunotherapy. A key issue for personalized cancer immunotherapy is to discover neoantigens on the surface of cancer cells. We are developing automatic, highly sensitive and personalized methods to sequence those peptides and validate their immunogenicity.

Publications

Ming Li on Google Scholar

Degrees

• Ph.D., University of Toronto (1986)
• M.Math., University of Waterloo (1982)
• B.Sc., University of Toronto (1979)

Research interests

• Algorithms, specifically computation geometry, graph algorithms and graph drawing
• Current topics include reconfiguration, triangulations of planar point sets, shortest path algorithms, and folding and unfolding problems

Publications

Anna Lubiw on Google Scholar

Feature article

University Professor Ian Munro’s Golden Jubilee — 50 years at the University of Waterloo

Degrees

• PhD, Computer Science, University of Toronto (1971)
• MSc, University of British Columbia

• BA, University of New Brunswick

Research interests

• Data structures, particularly fast and space-efficient structures
• Design, analysis and implementation of algorithms
• Database systems and data warehousing, particularly efficiency issues

Publications

Ian Munro on Google Scholar

Ian Munro on DBPL

Degrees

• Ph.D., Princeton University, United States (1989)
• B.Sc., Carnegie-Mellon University, United States (1983)

Research interests

• Data systems, especially synchronization, transactions, fault tolerance
• Distributed systems and cloud computing

Publications

Ken Salem on DBLP

Degrees

• Ph.D., University of California, Berkeley, United States (1983)
• B.A., Princeton University, United States (1979)

Research interests

• Automata theory and formal languages, combinatorics on words
• Number theory, combinatorics, algebra with a computational flavor

Publications

Jeffrey Shallit on Google Scholar

Degrees

• Ph.D., University of Waterloo (1981)
• M.Sc., Ohio State University, United States (1980)
• B.Math., University of Waterloo (1978)

Research interests

• Cryptography and security: unconditionally secure cryptographic protocols, including secret sharing and authentication
• Combinatorics: construction and analysis of combinatorial designs, error correcting codes, orthogonal arrays
• Algorithms: algorithms to construct and analyze combinatorial structures

Publications

Doug Stinson on Google Scholar

Degrees

• Ph.D., University of Waterloo (1977)
• M.Math., University of Waterloo (1974)
• B.Sc., University of Saskatchewan (1972)

Research interests

• Distributed computer systems, focusing on the debugging and monitoring of distributed applications by viewing their execution histories as being fundamentally a partially ordered set of events
• Software fault tolerance, especially robust implementations of data structures

Publications

David Taylor on DBLP

Degrees

• LL.D., Dalhousie University (2013)
• Ph.D., University of Toronto (1974)
• M.Sc., Brown University, United States (1970)
• B.Sc., Brown University, United States (1970)

Research interests

• Database dependency theory, storage structure selection, query processing, materialized view maintenance, database integration, data retention, and access control
• Text management systems, text matching, XML processing, information retrieval, structured text conversion, and text classification
• Mathematics (text and formula) information retrieval

Publications

Frank Tompa on DBLP

Degrees

• Ph.D., University of Waterloo (1990)
• M.Math., University of Waterloo (1986)
• B.Sc., University of British Columbia (1984)

Research interests

• Artificial intelligence with a focus on representation and reasoning, constraint programming, constraint satisfaction, backtracking algorithms, planning, scheduling, combinatorial optimization, applied machine learning, probabilistic reasoning, and applications of artificial intelligence
• A recent additional interest is algorithms and techniques in computational photography

Publications

Peter van Beek Publications