Valeria de Paiva

Summary

Valeria de Paiva is a human^[1]. Her place of birth was Pouso Alegre^[2]. She was born on +1959-06-13T00:00:00Z^[3]. She worked as a mathematician^[4], logician^[5], and computer scientist^[6]. She ranks in the top 0.73% of human entities by monthly Wikipedia readership (14 views/month, #7,288 of 1,000,298).^[7]

Key Facts

• Valeria de Paiva's place of birth was Pouso Alegre^[2].
• Valeria de Paiva was born on +1959-06-13T00:00:00Z^[3].
• Valeria de Paiva held citizenship in Brazil^[8].
• Valeria de Paiva's professions included mathematician^[4].
• Valeria de Paiva's professions included logician^[5].
• Valeria de Paiva's professions included computer scientist^[6].
• Valeria de Paiva's field of work was category theory^[9].
• Valeria de Paiva's field of work was knowledge representation and reasoning^[10].
• Valeria de Paiva's field of work was functional programming^[11].
• Valeria de Paiva's field of work was linear logic^[12].
• Valeria de Paiva's field of work was computer science^[13].
• Valeria de Paiva was employed by Topos Institute^[14].
• Valeria de Paiva's doctoral advisor was Martin Hyland^[15].
• Valeria de Paiva's image is recorded as ValeriaApril2014.jpg^[16].
• Valeria de Paiva is recorded as female^[17].
• Valeria de Paiva's instance of is recorded as human^[18].
• Valeria de Paiva supervised Gavin Mark Bierman as a doctoral student^[19].
• Valeria de Paiva's ISNI is recorded as 0000000042871622^[20].
• Valeria de Paiva's VIAF cluster ID is recorded as 14862612^[21].
• Valeria de Paiva's Library of Congress authority ID is recorded as n93023476^[22].
• Valeria de Paiva's Bibliothèque nationale de France ID is recorded as 12428662p^[23].
• Valeria de Paiva's IdRef ID is recorded as 03341906X^[24].
• Valeria de Paiva's Commons category is recorded as Valeria de Paiva^[25].
• Valeria de Paiva's ORCID iD is recorded as 0000-0002-1078-6970^[26].
• Valeria de Paiva's Mathematics Genealogy Project ID is recorded as 49840^[27].

Body

Origins and Family

Valeria de Paiva was born in Pouso Alegre^[2]. She was born on +1959-06-13T00:00:00Z^[3].

Education

Valeria de Paiva's doctoral advisor was Martin Hyland^[15].

Career and Affiliations

Recorded occupations include mathematician^[4], logician^[5], and computer scientist^[6]. Fields of work include category theory^[9], a branch of mathematics^[28]; knowledge representation and reasoning^[10], a branch of science^[29]; functional programming^[11], a programming paradigm^[30]; linear logic^[12]; and computer science^[13], an academic discipline^[31]. Valeria de Paiva was employed by Topos Institute^[14]. She supervised Gavin Mark Bierman as a doctoral student^[19].

Why It Matters

Valeria de Paiva ranks in the top 0.73% of human entities by monthly Wikipedia readership (14 views/month, #7,288 of 1,000,298).^[7] She has Wikipedia articles in 6 language editions, a strong signal of global cultural recognition.^[32] She is known by 3 alternative names across languages and contexts.^[33]

FAQs

Where was Valeria de Paiva born?

Valeria de Paiva was born in Pouso Alegre^[2].

What did Valeria de Paiva do for work?

Valeria de Paiva worked as mathematician^[4], logician^[5], and computer scientist^[6].