This page has been moved to ****http://www.cs.bham.ac.uk/~mhe/****


photo of mhe

Martín Escardó

School of Computer Science
The University of Birmingham
Birmingham B15 2TT
England

email: m.escardo@cs.bham.ac.uk office: LG208
phone: +44 121 414 4773 fax: +44 121 414 4281
I am a lecturer at the School of Computer Science of the University of Birmingham. My first degree was from the Universidade Federal 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 one year.
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.

Martin Escardo
Last modified: Mon Sep 25 10:28:03 BST 2000