Current interests: exact real number computation, programming language semantics, topological methods in computer science, locale theory, domain theory, 1#1-calculus.
Refereed publications: 7 journal, 3 electronic journal, 8 conference.
Other publications: 8.