#59 - Category Theory and Inclusivity - Valeria de Paiva | Type Theory Forall

The Type Theory Forall podcast features Valeria de Paiva, a Brazilian mathematician and computer scientist, discussing her journey from mathematics to computer science, her experiences at Cambridge, and her work in the field. De Paiva recounts funny and challenging moments during her academic path, including initially intending to study in France and grappling with difficult exams at Cambridge. She details her career progression through various research positions, including Xerox PARC, and shares insights about the evolution of AI and industrial research. The conversation explores the role of AI in mathematics, the increasing use of theorem provers, and the importance of inclusivity in the logic community, highlighting the work of Women in Logic.

Outlines

Part 1: Academic Foundations, Cambridge, and Early Career

Part 2: Industry Transition, Xerox PARC, and NLP

Part 3: AI, Mathematics, and the Future of Formalization

Part 4: Startups, Topos Institute, and Category Theory

Part 4: Logic Research, Dialectica, and Communication

Part 5: Inclusivity, Women in Logic, and Social Change

Sign in to continue reading, translating and more.

Continue

#59 - Category Theory and Inclusivity - Valeria de Paiva

Type Theory Forall

Part 1: Academic Foundations, Cambridge, and Early Career

Introduction to Valeria de Paiva: A Brazilian Pioneer in Type Theory and Women in Logic

From Brazil to Cambridge: Navigating Exams and Finding an Advisor

Academic Journey: From Cambridge Computer Lab to Birmingham University

Part 2: Industry Transition, Xerox PARC, and NLP

Transition to Xerox PARC and the Silicon Valley Bubble Burst

Logician in Residence at Xerox PARC: AI, NLP, and the Power of Human Language

Part 3: AI, Mathematics, and the Future of Formalization

AI in Mathematics: LLMs, Theorem Provers, and the Future of Formalization

The Evolution of Mathematics: From Artisanal Craft to Industrial Production

Part 4: Startups, Topos Institute, and Category Theory

The Rise and Fall of COOL: Reinventing Search and the Perils of Startups

Topos Institute: Category Theory for Computing and Programming Languages

Distinguishing Meaningful Category Theory and the Importance of Algebraic Thinking

Part 4: Logic Research, Dialectica, and Communication

Dialectica Categories and Linear Logic: An Algebraic Approach to Proof Theory

The Importance of Explaining "Why": Communication, Motivation, and Linear Logic's Enduring Impact

Constructive Modal Logics and the Dialogue Between Functional Programmers and Philosophers

Part 5: Inclusivity, Women in Logic, and Social Change

Women in Logic: Origins, Goals, and the Importance of Representation

Strategies for Inclusivity: Lists, Role Models, and Addressing Societal Constraints

The Burden of Representation and the Persistence of Microaggressions

Actions for Men: Promoting Inclusivity and Challenging Bias

#59 - Category Theory and Inclusivity - Valeria de Paiva

Type Theory Forall

Part 1: Academic Foundations, Cambridge, and Early Career

00:24Introduction to Valeria de Paiva: A Brazilian Pioneer in Type Theory and Women in Logic

Introduction to Valeria de Paiva: A Brazilian Pioneer in Type Theory and Women in Logic

05:25From Brazil to Cambridge: Navigating Exams and Finding an Advisor

From Brazil to Cambridge: Navigating Exams and Finding an Advisor

12:27Academic Journey: From Cambridge Computer Lab to Birmingham University

Academic Journey: From Cambridge Computer Lab to Birmingham University

Part 2: Industry Transition, Xerox PARC, and NLP

23:03Transition to Xerox PARC and the Silicon Valley Bubble Burst

Transition to Xerox PARC and the Silicon Valley Bubble Burst

30:47Logician in Residence at Xerox PARC: AI, NLP, and the Power of Human Language

Logician in Residence at Xerox PARC: AI, NLP, and the Power of Human Language

Part 3: AI, Mathematics, and the Future of Formalization

37:39AI in Mathematics: LLMs, Theorem Provers, and the Future of Formalization

AI in Mathematics: LLMs, Theorem Provers, and the Future of Formalization

47:58The Evolution of Mathematics: From Artisanal Craft to Industrial Production

The Evolution of Mathematics: From Artisanal Craft to Industrial Production

Part 4: Startups, Topos Institute, and Category Theory

55:15The Rise and Fall of COOL: Reinventing Search and the Perils of Startups

The Rise and Fall of COOL: Reinventing Search and the Perils of Startups

1:07:09Topos Institute: Category Theory for Computing and Programming Languages

Topos Institute: Category Theory for Computing and Programming Languages

1:16:08Distinguishing Meaningful Category Theory and the Importance of Algebraic Thinking

Distinguishing Meaningful Category Theory and the Importance of Algebraic Thinking

Part 4: Logic Research, Dialectica, and Communication

1:24:28Dialectica Categories and Linear Logic: An Algebraic Approach to Proof Theory

Dialectica Categories and Linear Logic: An Algebraic Approach to Proof Theory

1:35:20The Importance of Explaining "Why": Communication, Motivation, and Linear Logic's Enduring Impact

The Importance of Explaining "Why": Communication, Motivation, and Linear Logic's Enduring Impact

1:45:52Constructive Modal Logics and the Dialogue Between Functional Programmers and Philosophers

Constructive Modal Logics and the Dialogue Between Functional Programmers and Philosophers

Part 5: Inclusivity, Women in Logic, and Social Change

1:57:30Women in Logic: Origins, Goals, and the Importance of Representation

Women in Logic: Origins, Goals, and the Importance of Representation

2:07:25Strategies for Inclusivity: Lists, Role Models, and Addressing Societal Constraints

Strategies for Inclusivity: Lists, Role Models, and Addressing Societal Constraints

2:17:20The Burden of Representation and the Persistence of Microaggressions

The Burden of Representation and the Persistence of Microaggressions

2:24:00Actions for Men: Promoting Inclusivity and Challenging Bias

Actions for Men: Promoting Inclusivity and Challenging Bias