Tim Brecht
![Tim Brecht](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/brecht.jpeg?itok=_jN5R4xW)
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
![Forbes Burkowski](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/fjburkow_1.jpg?itok=AmPdYBtG)
Jonathan Buss
![Jonathan Buss](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/jfbuss_0.jpg?itok=lC8ih3MV)
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
![Edward Chan](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/epfchan.jpg?itok=o-Eg9VvZ)
Gordon Cormack
![Gordon Cormack](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/gvcormac.jpg?itok=wUpg1W2J)
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
![Don Cowan](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/doncowan_12.jpg?itok=vZZO26oG)
- 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
![William Cowan](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/williamcowan_25.jpg?itok=QrX12m8u)
Chrysanne DiMarco
![Chrysanne DiMarco](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/chrysannedimarco_2_3.jpg?itok=uzMlI0TY)
Publications
Peter Forsyth
![Professor Peter Forsyth](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/forsythprofile.png?itok=Owkm5WqM)
- 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
![J. Alan George](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/alangeorge1.jpg?itok=WrdfNSJ8)
- 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
![Ming Li](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/mli.jpg?itok=w2cndQBR)
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
![Anna Lubiw](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/unknown-1.jpeg?itok=uePl_zey)
- 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 McKillop](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/ianmckillop.jpg?itok=69MJiEPt)
Ian Munro
![photo of University Professor J. Ian Munro](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/j-ian-munro.jpg?itok=EOv4O4zq)
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
![Ken Salem](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/kmsalem_0.jpg?itok=XBFl2xmc)
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
![photo of Jeffrey Shallit](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/jeffrey-shallit-portrait_1.jpg?itok=sjZnRRiQ)
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
![Doug Stinson](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/dstinson_0.jpg?itok=isGw-U9u)
- 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
![David Taylor](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/david_taylor_1.jpg?itok=Yla8yrUC)
- 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
![Professor Frank Tompa](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/tompaprofile.png?itok=3HXT-tC_)
- 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
![Professor van Beek](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/vanbeekprofile.png?itok=ciP6TGAW)
- 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
Johnny Wong
![Johnny Wong](https://uwaterloo.ca/computer-science/sites/ca.computer-science/files/styles/thumbnail/public/uploads/images/jwwong_0.jpg?itok=QH0pCd20)