My current research
interests include
topological methods
in the
theory of computation (including topology in higher-type computability theory), algorithmic topology of program types, domains 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, functional programming.
The last two are applications of the topological view of
computation. But the topological view, discussed in the publications,
is interesting on its own right.
I joined Birmingham University
in September 2000. My first degree was from the Universidade
Federal do Rio Grande Sul in Brazil,
where I also obtained an MSc degree by research. During my undergraduate
and MSc studies, I worked in industry.
I then went to
Imperial College
of the University of London for my PhD under the supervision of Mike B. Smyth. After completing this in April 1997, I was a
postdoc for one year at Imperial, a lecturer at the University
of Edinburgh for two years, and then at the University
of St Andrews for one year.
By the way, what is computer
science?
directions: Look
for building Y9 in the yellow zone of the Edgbaston 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.
