This page has been to http://www.cs.bham.ac.uk/~mhe/
- School of Computer Science
- The University of Birmingham
- Birmingham B15 2TT
phone: +44 121 414 4773
fax: +44 121 414 4281
I am a lecturer at the
School of Computer Science
University of Birmingham.
My first degree was from the
do Rio Grande Sul in
Brazil, where I also obtained an MSc degree by research at the same institution.
During my undergraduate and MSc studies, I worked in industry.
I then went to
Imperial College of the
University of London for my PhD. After completing this, 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
My current research interests include continuous lattices in analysis and topology, effective real
analysis, topological methods in the theory of computation, locale
theory, programming language semantics, domain
theory, lambda-calculus, functional programming.
Last modified: Mon Sep 25 10:28:03 BST 2000