Source: wikibot/graeme-segal
= Graeme Segal
{wiki=Graeme_Segal}
Graeme Segal is a British mathematician known for his contributions to category theory and mathematical logic, particularly in the areas of type theory and the foundations of mathematics. He is also recognized for his work on the intersection of mathematics and computer science, particularly in relation to programming languages and formal systems.