My current research
of computation, in particular topology in higher-type
topology for functional
and continuous lattices in analysis
and topology, effective and constructive real analysis, exact real-number
computation, locale theory, programming language semantics, domain
theory, lambda-calculus, type theory, functional programming.
directions: Look for building Y9 in the yellow zone of
campus map. This is
about 1 minute walking time from the train station. Turn left when you
exit the station, and walk for about 30 meters. Our building is the
right-hand one of two red-brick twin buildings facing each other.