Professor Martin Escardo Bsc MSc PhD

Dr Martin Escardo

School of Computer Science
Professor of Theoretical Computer Science

Contact details

Email
m.escardo@cs.bham.ac.uk
Address
School of Computer Science
University 麻豆精选
Edgbaston
Birmingham
B15 2TT
UK

Martin Escardo is a Professor of Theoretical Computer Science at the University 麻豆精选. His first degree was from the Universidade Federal Do Rio Grande Sul where he also obtained an MSc degree by research. During his undergraduate and MSc studies, he worked in industry. He then went to Imperial College of the University of London in October 1993 for his PhD under the supervision of Mike.B.Smyth. After completing this in April 1997, he 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 before joining the University 麻豆精选.

For more information, please see Martin's.

Qualifications

  • BSc Computer Science – UFRGS
  • MSc by research, Computer Science - UFRGS
  • PhD in Theoretical Computer Science – Imperial College

Research

  • Homotopy type theory

  • Univalent mathematics

  • Martin-Loef type theory

  • Constructive mathematics

  • Domain theory

  • Topology in the theory of computation

Publications

Recent publications

Article

Escard贸, M & Oliva, P 2023, '', Theoretical Computer Science, vol. 974, 114111.

De Jong, T & Escard贸, MH 2023, '', Logical Methods in Computer Science, vol. 19, no. 2, pp. 8:1-8:33.

Escardo, MH 2021, '', Mathematical Structures in Computer Science, vol. 31, no. 1, pp. 89-111.

Bezem, M, Coquand, T, Dybjer, P & Escardo, M 2021, '', Mathematical Structures in Computer Science.

Escardo, M 2021, '', Journal of Homotopy and Related Structures, vol. 16, no. 3, pp. 363-366.

Kraus, N, Escardo, M, Coquand, T & Altenkirch, T 2017, '', Logical Methods in Computer Science, vol. 13, no. 1, 15, pp. 1-36.

Escard贸, M & Oliva, P 2017, '', Journal of Symbolic Logic, vol. 82, no. 2, pp. 590-607.

Escard贸, M & Xu, C 2016, '', Annals of Pure and Applied Logic, vol. 167, no. 9, pp. 770-793.

Escard贸, MH & Streicher, T 2016, '', Annals of Pure and Applied Logic, vol. 167, no. 9, pp. 794-805.

Conference article

Tosun, A & Escardo, M 2023, '', Electronic Notes in Theoretical Informatics and Computer Science, vol. 1, 16.

Conference contribution

Bezem, M, Coquand, T, Dybjer, P & Escard贸, M 2023, . in D Kesner & P-M Pedrot (eds), 28th International Conference on Types for Proofs and Programs, TYPES 2022., 13, Leibniz International Proceedings in Informatics, LIPIcs, vol. 269, Schloss Dagstuhl, pp. 13:1-13:16, 28th International Conference on Types for Proofs and Programs, TYPES 2022, Nantes, France, 20/06/22.

De Jong, T & Escardo, M 2021, . in C Baier & J Goubault-Larrecq (eds), 29th EACSL Annual Conference on Computer Science Logic, CSL 2021., 28, Leibniz International Proceedings in Informatics, LIPIcs, vol. 183, Schloss Dagstuhl, 29th EACSL Annual Conference on Computer Science Logic , Ljubljana, Slovenia, 25/01/21.

De Jong, T & Escardo, M 2021, . in N Kobayashi (ed.), 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)., 8, LIPIcs: Leibniz International Proceedings in Informatics, vol. 195, Schloss Dagstuhl, 6th International Conference on Formal Structures for Computation and Deduction
, 17/07/21.

Booij, A, Escardo, M, Lumsdaine, PL & Shulman, M 2018, . in H Geuvers, J Ivetic & S Ghilezan (eds), Proceedings of 22nd International Conference on Types for Proofs and Programs, TYPES 2016. Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl, 22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, 23/05/16.

Escardo, M & Knapp, C 2017, . in V Goranko & M Dam (eds), Proceedings of 26th EACSL Annual Conference on Computer Science Logic (CSL2017)., 21, Leibniz International Proceedings in Informatics (LIPIcs), vol. 82, Schloss Dagstuhl, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Stockholm, Sweden, 20/08/17.