Skip to main content

Dr. Jeffery Zucker

Professor Emeritus

Department of Computing and Software

Generalised computability theory, including computability on the reals and analog computability; Logical foundations of software documentation; Program semantics
Areas of Specialization:


I am interested in supervising MSc and PhD students in my areas of interest, particularly generalized computability theory, analog computability, and logical foundations of software documentation.  Students should have a good background in mathematics.