J. Zucker:   Graduate Students

Completed

• Hing Kai Hung:   PhD, Aug. 1990 (from Computer Science Dept, SUNY-Buffalo).
  Compositional Semantics and Program Correctness for Procedures with Parameters.
  [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, 127-136. [abstract, text.pdf]
  • 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. [abstract, text.ps.gz]
  
  
  
• Hong Shen:   MEng (Electrical & Computer Engineering), Oct. 1995.
  Implementation of Table Inversion Algorithms.
  (Joint supervision with D. Parnas.)
  [Abstract]
  Hong is currently a Software Developer for Hummingbird, Ottawa.
  
  
• Yuan (Jack) Wang:   MSc, Sept. 2001.
  Semantics of Non-Deterministic Programs and the Universal Function Theorem over Abstract Algebras.
  [Abstract,   Tech. Report CAS 01-03-JZ]
  Jack is currently a Software Developer at the E-Commerce Dept, IBM Toronto Lab.
  
  
• Jeff Koster:   MSc, Sept. 2002.
  Relative Strengths of While-programs with and without Counters and Stacks.
  [Tech. Report CAS 02-05-JZ]
  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.
  [Abstract,   Tech. Report CAS 03-03-JZ]
  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.
  Tech. Report CAS 03-07-JZ.
  
  
• Jian Xu:   MSc, August 2003.
  Models of Computation on Abstract Data Types based on Recursive Schemes.
  [Abstract,   Tech. Report CAS 03-09-JZ.]
  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 Non-Deterministic Choice.
  [Abstract,   Preprint]
  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.
  [Abstract,   Tech. Report CAS 03-09-JZ.]