PhD Theses Supervised by J. A. Brzozowski

Updated August 13, 2002

15. Piotr R. Sidorowicz, 2000
"A Formal Framework for Modeling and Testing Memories"
PhD Thesis, Department of Computer Science
University of Waterloo, Waterloo, Ontario, Canada
(External Examiner: Y. Zorian, LogicVision, San Jose, CA)

14. Radu Negulescu, 1998
"Process Spaces and Formal Verification of Asynchronous Circuits"
PhD Thesis, Department of Computer Science
University of Waterloo, Waterloo, Ontario, Canada
(External Examiner: D. L. Dill, Stanford University)

13. Chuan-Jin (Richard) Shi, 1994
"Optimum Logic Encoding and Layout Wiring for VLSI Design:
A Graph-Theoretic Approach"
PhD Thesis, Department of Computer Science
University of Waterloo, Waterloo, Ontario, Canada
(External Examiner: E. S. Kuh, UC Berkeley)

12. Bruce Fordyce Cockburn, 1990
"Fault Models and Tests for Coupling Faults in Random-Access Memories"
PhD Thesis, Department of Computer Science
University of Waterloo, Waterloo, Ontario, Canada
(External Examiner: V. K. Agarwal, then at McGill University)

11. Carl-Johan Henry Seger, 1988
"Models and Algorithms for Race Analysis in Asynchronous Circuits"
PhD Thesis, Department of Computer Science
University of Waterloo, Waterloo, Ontario, Canada
(External Examiner: R. E. Bryant, Carnegie Mellon University)

10. Denis Therien, 1980
"Classification of Regular Languages by Congruences"
PhD Thesis, Department of Computer Science
University of Waterloo, Waterloo, Ontario, Canada
(External Examiner: D. Perrin, then at University of Rouen)

9. Luigi Logrippo, 1974
"Renamings in Parallel Program Schemas"
PhD Thesis, Department of Applied Analysis and Computer Science
University of Waterloo, Waterloo, Ontario, Canada
Jointly supervised with E. A. Ashcroft
(External Examiner: R. E. Miller, then at IBM Watson Research Center)

8. Imre Simon, 1972
"Hierarchies of Events with Dot-Depth One"
PhD Thesis, Department of Applied Analysis and Computer Science
University of Waterloo, Waterloo, Ontario, Canada
(External Examiner: R. McNaughton, Renssealer Polytechnic Institute)
pdf

7. Ina Pamela McWhirter, 1971
"Substitution Expressions for Context-Free Languages"
PhD Thesis, Department of Applied Analysis and Computer Science
University of Waterloo, Waterloo, Ontario, Canada
(External Examiner: A. Aho, then at Bell Telephone Laboratories)

6. Dilip Kumar Banerji,1971
"Residue Arithmetic in Computer Design"
PhD Thesis, Department of Applied Analysis and Computer Science
University of Waterloo, Waterloo, Ontario, Canada
(External Examiner: A. Avizienis, UCLA)

5. Bobby Otis Nash, 1970
"Context-Free Parallel Leveled Languages"
PhD Thesis, Department of Applied Analysis and Computer Science
University of Waterloo, Waterloo, Ontario, Canada
(External Examiner: M. A. Harrison, UC Berkeley)

4. Shanker Singh, 1968
"Design of Asynchronous Sequential Circuits with Asynchronous Unit Delays"
PhD Thesis, Department of Electrical Engineering
University of Ottawa, Ottawa, Ontario, Canada
(External Examiner: E. B. Eichelberger, IBM, White Plains, NY)

3. Rina Sara Cohen, 1968
"Cycle Rank of Transition Graphs and the Star Height of Regular Events"
PhD Thesis, Department of Mathematics
University of Ottawa, Ottawa, Ontario, Canada
(External Examiner: R. McNaughton, Renssealer Polytechnic Institute)

2. Lansun Lee, 1967
"Grade of Service of a Telephone Exchange"
PhD Thesis, Department of Electrical Engineering
University of Ottawa, Ottawa, Ontario, Canada
(External Examiner: H. Frank, UC Berkeley)

1. Wayne Alton Davis, 1966
"Contributions to Structure Theory of Sequential Machines"
PhD Thesis, Department of Electrical Engineering
University of Ottawa, Ottawa, Ontario, Canada
(External Examiner: H. P. Zeiger, University of Colorado)

Return to John Brzozowski's home page .