Our People - Emeritus

• 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

Donald Cowan Publications

Publications

Chrysanne DiMarco on DBPL

• 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

Peter Forsyth on Google Scholar

• 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

• 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

Anna Lubiw on Google Scholar

• 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

Doug Stinson on Google Scholar

• 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

David Taylor on DBLP

• 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

Frank Tompa on DBLP