Valeria de Paiva
Valeria de Paiva | |
|---|---|
 | |
| Sinh | Valeria Correa Vaz de Paiva |
| Trường lớp | University of Cambridge (PhD) |
| Trang web | vcvpaiva |
| Sự nghiệp khoa học | |
| Ngành | |
| Nơi công tác | PARC Nuance Communications University of Birmingham |
| Luận án | The Dialectica Categories (1988) |
| Người hướng dẫn luận án tiến sĩ | Martin Hyland[2] |
Valeria Correa Vaz de Paiva là một nhà toán học, nhà logic học và nhà khoa học máy tính người Brazil có liên quan đến Samsung Research America. Công việc của cô bao gồm nghiên cứu về cách tiếp cận logic để tính toán, đặc biệt là sử dụng lý thuyết thể loại, biểu diễn tri thức và ngữ nghĩa ngôn ngữ tự nhiên, và lập trình chức năng với trọng tâm là nền tảng và lý thuyết loại.[3][4][5]
Giáo dục[sửa | sửa mã nguồn]
De Paiva có bằng cử nhân toán học năm 1982, bằng thạc sĩ năm 1984 (về Đại số thuần túy) và hoàn thành bằng tiến sĩ tại Đại học Cambridge năm 1988, dưới sự giám sát của Martin Hyland.[2][2][2][6] Luận án của cô đã giới thiệu các không gian Dialectica, một cách phân loại để xây dựng các mô hình logic tuyến tính.
Sự nghiệp và nghiên cứu[sửa | sửa mã nguồn]
Valeria de Paiva đã làm việc 9 năm tại PARC ở Palo Alto, California và cũng làm việc tại Rearden Commerce và Cuil trước khi gia nhập Nuance.[7] Cô là một nghiên cứu viên danh dự về khoa học máy tính tại Đại học Birmingham.[7][1]
Ấn phẩm lựa chọn[sửa | sửa mã nguồn]
Term Assignment for Intuitionistic Linear Logic. (with Benton, Bierman and Hyland). Technical Report 262, University of Cambridge Computer Laboratory. August 1992.
Lineales. (with J.M.E. Hyland) In "O que nos faz pensar" Special number in Logic of "Cadernos do Dept. de Filosofia da PUC", Pontificial Catholic University of Rio de Janeiro, Abril 1991.
A Dialectica-like Model of Linear Logic.In Proceedings of Category Theory and Computer Science, Manchester, UK, September 1989. Springer-Verlag LNCS 389 (eds. D. Pitt, D. Rydeheard, P. Dybjer, A. Pitts and A. Poigne).
The Dialectica Categories. In Proc of Categories in Computer Science and Logic, Boulder, CO, 1987. Contemporary Mathematics, vol 92, American Mathematical Society, 1989 (eds. J. Gray and A. Scedrov)
Tham khảo[sửa | sửa mã nguồn]
- ^ a b Bản mẫu:Google scholar id
- ^ a b c d Valeria de Paiva tại Dự án Phả hệ Toán học
- ^ “Valeria de Paiva”, Career Profiles, Mathematical Association of America, truy cập ngày 24 tháng 7 năm 2015.
- ^ “Profile: Valeria de Paiva” (PDF), Mathematics Awareness Month, Joint Policy Board for Mathematics, tháng 4 năm 2015, Bản gốc (PDF) lưu trữ ngày 4 tháng 3 năm 2016, truy cập ngày 24 tháng 7 năm 2015.
- ^ Valeria de Paiva Website chính thức
- ^ Paiva, Valeria Correa Vaz de (1988). The dialectica categories (PDF). cl.cam.ac.uk (Luận văn). University of Cambridge. ISSN 1476-2986. OCLC 26346882. EThOS uk.bl.ethos.315050. UCAM-CL-TR-213
- ^ a b Home page, University of Birmingham, retrieved 2015-07-24.