Tim Brecht
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
Forbes Burkowski
Jonathan Buss
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
Edward Chan
Gordon Cormack
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
Donald Cowan
- 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)
- 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
William Cowan
Chrysanne DiMarco
Publications
Peter Forsyth
- Ph.D., University of Western Ontario (1979)
- M.Sc., Australian National University, Australia (1977)
- B.Sc., University of Western Ontario (1975)
- Computational finance
- Machine learning methods for optimal stochastic control in finance
Keith Geddes
Alan George
- Ph.D., Stanford University (1971)
- M.Sc., University of Alberta (1966)
- B.Sc., University of Alberta (1964)
- 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
Ming Li
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
Anna Lubiw
- Ph.D., University of Toronto (1986)
- M.Math., University of Waterloo (1982)
- B.Sc., University of Toronto (1979)
- 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
Ian McKillop
Ian Munro
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
Ken Salem
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
Jeffrey Shallit
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
Doug Stinson
- Ph.D., University of Waterloo (1981)
- M.Sc., Ohio State University, United States (1980)
- B.Math., University of Waterloo (1978)
- 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
David Taylor
- Ph.D., University of Waterloo (1977)
- M.Math., University of Waterloo (1974)
- B.Sc., University of Saskatchewan (1972)
- 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
Frank Tompa
- 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)
- 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
Peter van Beek
- Ph.D., University of Waterloo (1990)
- M.Math., University of Waterloo (1986)
- B.Sc., University of British Columbia (1984)
- 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