Scholar
Martín Hötzel Escardó
Google Scholar ID: t-OvYicAAAAJ
Professor of Theoretical Computer Science, University of Birmingham,UK
Citations & Impact
Citations
852
H-index
17
i10-index
32
Publications
20
Co-authors
23
list available
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Developed some mathematical and computational works in Haskell and Agda, such as seemingly impossible functional programs (in Haskell), real number computation in Haskell with real numbers represented as infinite sequences of digits, etc.
Research Experience
- Worked as a postdoc at Imperial for one year, then as a lecturer at the University of Edinburgh for two years, and at the University of St Andrews for one year before joining Birmingham University in September 2000 where he has been part of a vibrant theory research group since.
Education
- First degree and MSc by research from the Universidade Federal do Rio Grande Sul. Went to Imperial College of the University of London in October 1993 for his PhD under the supervision of Michael B. Smyth. Completed this in April 1997.
Background
- Research interests include topology, topology in higher-type computation, constructive mathematics, dependent type theory, univalent type theory, homotopy type theory, domain theory, locale theory, and exact real-number computation. Also interested in category theory, proof theory, and game theory. Sees (dependent) functional programming as a useful and enjoyable tool for practical manifestations of theoretical ideas in computation.
Miscellany
- Has a unique perspective on constructive mathematics, seeing it as a generalization rather than a restriction of classical mathematics. Quotes Mark Twain and Duncan Haldane to describe his views on reality versus fiction and discovery in theoretical work.
