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.