J. Zucker:   Graduate Students

(Note:   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.)


  • Diogo Poças:   PhD (Math),   Nov. 2017.
    Analog Computability with Differential Equations.
    [Abstract,   Thesis.pdf]
    This thesis developed into the 4 papers [26,28,30.31] in this list.
    o currently holds a post-doctoral appointment in the Operations Research Group under Prof. A. Schulz at the Tech. University, Munich.

  • Mark Armstrong:   MSc, Sept. 2015.
    Abstract Semicomputability in Tiopological Algebras over the Reals.
    [Abstract,   Thesis.pdf]
    This thesis developed into paper [28] in this list.
    Mark is currently in the PhD program at McMaster under my (joint) supervision.

  • Ming Quan Fu:   MSc, Oct. 2007;   PhD, Sept. 2014.
    MSc Thesis:   Models of Computability of Partial Functions on the Reals.   [Abstract,   Thesis.pdf]
              This thesis contributed to paper [23] in this list.
    PhD Thesis:   Characterizations of Computable Partial Functions and Semicomputable Sets on the Real Plane.
              [Abstract,   Thesis.pdf]
    Ming Quan is currently an Instructor at Queen's College of Business, Technology and Public Safety at
    Lambton College, Mississauga, Ontario.

  • Sameena Hossain:   MSc, April 2013.
    Semantics of Function Tables on the Reals.
    [Abstract,   Thesis.pdf]
    Sameena is currently in the PhD program at Arizona State University,
    and also a Teaching Associate Instructor in Computer Science at ASU.

  • Nick James:   PhD, Aug. 2012.
    Existence, Continuity and Computability of Uniques Fixed Points in Analog Networks.
    [Abstract,   Thesis.pdf]
    This thesis developed into paper [21] in this list.
    Nick is currently Senior Programmer/Analyst and a co-investigator in Diagnostic Medical Research at Ottawa Hospital.

  • Marc Bender:   PhD, Aug. 2010.
    Assignment Calculus: A Pure Imperative Reasoning Language.
    [Abstract,   Thesis.pdf]

  • Wei Lei;   MSc, Nov. 2007.
    Error Algebras.
    [Abstract,   Thesis.pdf]
    Wei is currently Executive Director at McLynn Education Services, a startup company aimed at
    the educational market in China.

  • Bo (Tyler) Xie:   MSc, August 2004.
    Characterisations of Semicomputable Sets of Real Numbers.
    [Abstract,   Thesis.pdf,   Tech. Report CAS 03-09-JZ.]
    This thesis contributed to paper [23] in this list.

  • Likang (Bill) Zhu:   MSc, Sept. 2003.
    Hoare Logics for Programming Languages with Partial Functions and Non-Deterministic Choice.
    [Abstract,   Thesis.pdf]
    Likang is currently a Software Architect at PayPal Inc. in Omaha, NE.

  • Jian Xu:   MSc, August 2003.
    Models of Computation on Abstract Data Types based on Recursive Schemes.
    [Abstract,   Tech. Report CAS 03-09-JZ.]
    This thesis developed into paper [16] in this list.
    Jian completed his PhD degree in Jan. 2008 under the supervision of Dr W. Farmer.
    He works at IBM Canada in Milton, Ontario.

  • Li Luo:   MSc, April 2003.
    Specifiability and Computability of Functions by Equations on Partial Algebras.
    [Abstract,   Thesis,   Tech. Report CAS 03-07-JZ]

  • Wei (Vivian) Jiang:   MSc, Dec. 2002.
    Universality and Semicomputability of Non-deterministic Programming Languages over Abstract Algebras.
    [Abstract,   Tech. Report CAS 03-03-JZ]
    Wei completed her PhD at the University of Waterloo under Prof. D. Toman in 2010.
    She works at FINRA (Financial Industry Regulatory Authority) in Washington DC as a Data Scientist.

  • Jeff Koster:   MSc, Sept. 2002.
    Relative Strengths of While-programs with and without Counters and Stacks.
    [Abstract,   Tech. Report CAS 02-05-JZ]

  • Yuan (Jack) Wang:   MSc, Sept. 2001.
    Semantics of Non-Deterministic Programs and the Universal Function Theorem over Abstract Algebras.
    [Abstract,   Thesis,   Tech. Report CAS 01-03-JZ]
    Jack is currently in charge of production engineering and quality assurance at FastPay, a financial technology company in Los Angeles.

  • Hong Shen:   MEng (Electrical & Computer Engineering), Oct. 1995.
    Implementation of Table Inversion Algorithms.
    (Joint supervision with D. Parnas.)
    [Abstract]

  • 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 developed into papers [4] and [5] in this list.


    Last revised Jan. 2, 2020. (Please inform me of any bad links.)
    zucker@mcmaster.ca