ヴァレリア・デ・パイヴァ

ヴァレリア・コレア・ヴァス・デ・パイヴァはブラジルの数学者、論理学者、コンピュータ科学者である。彼女の研究は、特に圏論、 知識表現、自然言語意味論、基礎論と型理論に焦点を当てた関数型プログラミングを用いた計算への論理的アプローチに関する研究を含む。^{[ 3 ] [ 4 ] [ 5 ]}

デ・パイヴァは1982年に数学の学士号を取得し^{[ 3 ]} 、 1984年に修士号（純粋代数学）を取得し、1988年にマーティン・ハイランドの指導の下、ケンブリッジ大学で博士号を取得した^{[ 6 ] [ 2 ]}。彼女の博士論文は、クルト・ゲーデルの弁証法解釈に基づいて、線形論理のモデルを構築する圏論的な方法である弁証法空間を紹介した。

彼女はカリフォルニア州パロアルトのPARCで9年間勤務し、Nuanceに入社する前はRearden CommerceとCuilでも勤務していました。 ^{[ 4 ] [ 7 ]}彼女はバーミンガム大学のコンピュータサイエンスの名誉研究員です。^{[ 1 ] [ 7 ]}彼女は現在、科学技術史哲学国際連合の論理学、方法論、科学技術哲学部門の評議員を務めています（2020年～2023年）。^{[ 8 ]}