J. Zucker: Graduate Students
All programs and degrees are in Computer Science, unless otherwise stated.
Technical Reports with the number prefixed by 'CAS'
are published by the
Dept of Computing & Software, McMaster University.)
Jeff Koster: MSc, Sept. 2002.
Relative Strengths of While-programs with and without
Counters and Stacks.
Jeff will be continuing in the PhD program, under my supervision,
from Sept. 2006.
Wei Jiang: MSc, Dec. 2002.
Universality and Semicomputability of Non-deterministic
Programming Languages over Abstract Algebras.
Wei is currently in the PhD program at the University of Waterloo,
under the supervision of D. Toman.
Li Luo: MSc, April 2003.
Specifiability and Computability of Functions by Equations on Partial Algebras.
Jian Xu: MSc, August 2003.
Models of Computation on Abstract Data Types based on Recursive Schemes.
Jian is currently in the PhD program under the supervision of W. Farmer.
Likang Zhu: MSc, Sept. 2003.
Hoare Logics for Programming Languages with Partial Functions and
Likang is currently a Software Developer at Jefferson Pilot Financial
Insurance Co., Omaha.
Bo (Tyler) Xie: MSc, August 2004.
Characterisations of Semicomputable Sets
of Real Numbers.
Yuan (Jack) Wang: MSc, Sept. 2001.
Semantics of Non-Deterministic Programs and the
Universal Function Theorem over Abstract Algebras.
Tech. Report CAS 01-03-JZ]
Jack is currently a Software Developer at the E-Commerce Dept,
IBM Toronto Lab.
Hong Shen: MEng (Electrical & Computer Engineering), Oct. 1995.
Implementation of Table Inversion Algorithms.
(Joint supervision with D. Parnas.)
Hong is currently a Software Developer for Hummingbird, Ottawa.
Hing Kai Hung: PhD, Aug. 1990
(from Computer Science Dept, SUNY-Buffalo).
Compositional Semantics and Program Correctness for Procedures
[Tech. Report 90-18, Computer Science Dept, SUNY-Buffalo]
This thesis has led to the following papers:
H.K. Hung and J.I. Zucker (1991):
Semantics of pointers, referencing and dereferencing with
intensional logic, in
Proceedings of Sixth Annual IEEE Symposium on
Logic in Computer Science, Amsterdam, July 1991,
J.I. Zucker and H.K. Hung (1991):
Program semantics, intensional logic and compositionality, in
Proceedings of the First Montreal Workshop on
Programming Language Theory, April 1991,
ed. M. Okada and P.J. Scott
(Centre for Pattern Recognition and Machine Intelligence), 93-103.