Expertise
Generalised computability theory, including computability on the reals and analog computability, logical foundations of software documentation, program semantics
Areas of Specialization
-
Professor Emeritus
Computing and Software
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.