Martin Hyland

Summary

Martin Hyland is a human^[1]. He worked as a mathematician^[2]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (72 views/month, #7,276 of 1,000,298).^[3]

Key Facts

• Martin Hyland held citizenship in United Kingdom^[4].
• Martin Hyland worked as a mathematician^[2].
• Martin Hyland's field of work was mathematics^[5].
• Martin Hyland held the position of full professor^[6].
• Martin Hyland was employed by University of Cambridge^[7].
• Martin Hyland's education included a stint at University of Oxford^[8].
• Martin Hyland's doctoral advisor was Robin Gandy^[9].
• Martin Hyland is recorded as male^[10].
• Martin Hyland's instance of is recorded as human^[11].
• Martin Hyland supervised Eugenia Cheng as a doctoral student^[12].
• Martin Hyland supervised Valeria de Paiva as a doctoral student^[13].
• Martin Hyland supervised Tom Leinster as a doctoral student^[14].
• Martin Hyland supervised Eric Faber as a doctoral student^[15].
• Martin Hyland supervised Andrew Pitts as a doctoral student^[16].
• Martin Hyland supervised Richard Garner as a doctoral student^[17].
• Martin Hyland supervised Edmund Peter Robinson as a doctoral student^[18].
• Martin Hyland supervised Wesley Kym-Son Phoa as a doctoral student^[19].
• Martin Hyland supervised Dominic Robert Verity as a doctoral student^[20].
• Martin Hyland supervised Audrey Melanie Tan as a doctoral student^[21].
• Martin Hyland supervised Sean Michael Carmody as a doctoral student^[22].
• Martin Hyland supervised Paul Taylor as a doctoral student^[23].
• Martin Hyland supervised Aaron D. Lauda as a doctoral student^[24].
• Martin Hyland supervised Murdoch James Gabbay as a doctoral student^[25].
• Martin Hyland supervised Craig Theodore Snydal as a doctoral student^[26].
• Martin Hyland supervised Joe Templeton as a doctoral student^[27].

Body

Education

Martin Hyland's education included a stint at University of Oxford^[8]. His doctoral advisor was Robin Gandy^[9].

Career and Affiliations

Martin Hyland worked as a mathematician^[2]. His field of work was mathematics^[5]. Among his employers was University of Cambridge^[7]. He held the position of full professor^[6]. Doctoral students include Eugenia Cheng^[12], a mathematician^[28], b. 1976^[29], of United Kingdom^[30], specialised in category theory^[31]; Valeria de Paiva^[13], a mathematician^[32], b. 1959^[33], of Brazil^[34], specialised in category theory^[35]; Tom Leinster^[14], a mathematician^[36], b. 1971^[37], of United Kingdom^[38]; Eric Faber^[15]; Andrew Pitts^[16], a computer scientist^[39], b. 1956^[40], awarded the ACM Fellow^[41], specialised in mathematics^[42]; and Richard Garner^[17], a computer scientist^[43], specialised in computer science^[44].

Why It Matters

Martin Hyland ranks in the top 0.73% of human entities by monthly Wikipedia readership (72 views/month, #7,276 of 1,000,298).^[3]

His notable doctoral advisees include Eugenia Cheng^[45], a mathematician^[46], b. 1976^[47], of United Kingdom^[48], specialised in category theory^[49]; Valeria de Paiva^[50], a mathematician^[51], b. 1959^[52], of Brazil^[53], specialised in category theory^[54]; Richard Garner^[55], a computer scientist^[56], specialised in computer science^[57]; and Andrew Pitts^[58], a computer scientist^[59], b. 1956^[60], awarded the ACM Fellow^[61], specialised in mathematics^[62].

FAQs

What did Martin Hyland do for work?

Martin Hyland worked as mathematician^[2].

Where did Martin Hyland go to school?

Martin Hyland was educated at University of Oxford^[8].