Valeria de Paiva

Summary

Valeria de Paiva is a human^[1]. Her place of birth was Pouso Alegre^[2]. She was born on June 13, 1959^[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 (27 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 June 13, 1959^[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 is recorded as female^[16].
• Valeria de Paiva's instance of is recorded as human^[17].
• Valeria de Paiva supervised Gavin Mark Bierman as a doctoral student^[18].
• Valeria de Paiva's Commons category is recorded as Valeria de Paiva^[19].
• Valeria de Paiva's family name is recorded as De Paiva^[20].
• Valeria de Paiva's given name is recorded as Valeria^[21].
• Valeria de Paiva's official website is recorded as http://github.com/vcvpaiva^[22].
• Valeria de Paiva's official website is recorded as http://vcvpaiva.github.io/^[23].
• Valeria de Paiva's languages spoken, written or signed is recorded as English^[24].
• Valeria de Paiva's languages spoken, written or signed is recorded as Portuguese^[25].
• Valeria de Paiva's name in native language is recorded as {'lang': 'pt', 'text': 'Valeria Correa Vaz de Paiva'}^[26].
• Valeria de Paiva's maintained by WikiProject is recorded as WikiProject Mathematics^[27].

Body

Origins and Family

Valeria de Paiva was born in Pouso Alegre^[2]. She was born on June 13, 1959^[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^[18].

Why It Matters

Valeria de Paiva ranks in the top 0.73% of human entities by monthly Wikipedia readership (27 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].