- Expertise:
- Generalised computability theory, including computability on the reals and analog computability; Logical foundations of software documentation; Program semantics
- Areas of Specialization:
-
- Email:
- zucker
Overview
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.