Valeria de Paiva
Principal Research Scientist at Topos Institute- Claim this Profile
Click to upgrade to our gold package
for the full feature experience.
-
Portuguese Native or bilingual proficiency
-
English Full professional proficiency
-
French Limited working proficiency
Topline Score
Bio
Mark Ryan
I worked with Valeria when we were both lecturers at University of Birmingham. Valeria is an inspiring and enthusiastic educator, embracing the challenge of teaching theoretical computer science topics such as linear logic, category theory and type systems to undergraduates. She is also a highly motivated researcher, who managed to gain significant EPSRC funding (joint with Eike Ritter) early in her career, and to produce excellent publications (e.g., see http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Paiva:Valeria_de.html ). What is most noticeable about Valeria's research is her ability to apply her intellect to any field, ranging from very theoretical work done at Cambridge and Birmingham, to more applied work done at Xerox, Cuil, and others.
Ji Fang
I strongly recommend Valeria. I worked with her at PARC for a few years, and she is an excellent team player. She has a special talent for pulling people with different backgrounds together to work on a common goal, always to good results. Such skills make her an asset to any organization, particularly those solving complex multi-disciplinary problems.
Mark Ryan
I worked with Valeria when we were both lecturers at University of Birmingham. Valeria is an inspiring and enthusiastic educator, embracing the challenge of teaching theoretical computer science topics such as linear logic, category theory and type systems to undergraduates. She is also a highly motivated researcher, who managed to gain significant EPSRC funding (joint with Eike Ritter) early in her career, and to produce excellent publications (e.g., see http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Paiva:Valeria_de.html ). What is most noticeable about Valeria's research is her ability to apply her intellect to any field, ranging from very theoretical work done at Cambridge and Birmingham, to more applied work done at Xerox, Cuil, and others.
Ji Fang
I strongly recommend Valeria. I worked with her at PARC for a few years, and she is an excellent team player. She has a special talent for pulling people with different backgrounds together to work on a common goal, always to good results. Such skills make her an asset to any organization, particularly those solving complex multi-disciplinary problems.
Mark Ryan
I worked with Valeria when we were both lecturers at University of Birmingham. Valeria is an inspiring and enthusiastic educator, embracing the challenge of teaching theoretical computer science topics such as linear logic, category theory and type systems to undergraduates. She is also a highly motivated researcher, who managed to gain significant EPSRC funding (joint with Eike Ritter) early in her career, and to produce excellent publications (e.g., see http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Paiva:Valeria_de.html ). What is most noticeable about Valeria's research is her ability to apply her intellect to any field, ranging from very theoretical work done at Cambridge and Birmingham, to more applied work done at Xerox, Cuil, and others.
Ji Fang
I strongly recommend Valeria. I worked with her at PARC for a few years, and she is an excellent team player. She has a special talent for pulling people with different backgrounds together to work on a common goal, always to good results. Such skills make her an asset to any organization, particularly those solving complex multi-disciplinary problems.
Mark Ryan
I worked with Valeria when we were both lecturers at University of Birmingham. Valeria is an inspiring and enthusiastic educator, embracing the challenge of teaching theoretical computer science topics such as linear logic, category theory and type systems to undergraduates. She is also a highly motivated researcher, who managed to gain significant EPSRC funding (joint with Eike Ritter) early in her career, and to produce excellent publications (e.g., see http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Paiva:Valeria_de.html ). What is most noticeable about Valeria's research is her ability to apply her intellect to any field, ranging from very theoretical work done at Cambridge and Birmingham, to more applied work done at Xerox, Cuil, and others.
Ji Fang
I strongly recommend Valeria. I worked with her at PARC for a few years, and she is an excellent team player. She has a special talent for pulling people with different backgrounds together to work on a common goal, always to good results. Such skills make her an asset to any organization, particularly those solving complex multi-disciplinary problems.
Experience
-
Topos Institute
-
United States
-
Non-profit Organizations
-
1 - 100 Employee
-
Principal Research Scientist
-
Jan 2020 - Present
-
-
-
Santa Clara University
-
United States
-
Higher Education
-
700 & Above Employee
-
Lecturer
-
Apr 2011 - Present
Teaching introductory logic and specifications. Teaching introductory logic and specifications.
-
-
-
Samsung Research America
-
Mountain View, CA
-
Principal Research Scientist
-
Mar 2019 - Feb 2020
-
-
-
Nuance Communications
-
United States
-
Software Development
-
700 & Above Employee
-
Senior Research Scientist
-
Sep 2012 - Dec 2018
-
-
-
Deem, Inc.
-
United States
-
Software Development
-
100 - 200 Employee
-
Senior Research Scientist
-
Apr 2011 - Jul 2012
Coordinated a group working on Sentiment Analysis of Hotel Reviews, showing that an approach based on open-source ontologies (in SUMO) and simple off-the -shelf tools can attain reasonable levels of accuracy, in a reasonable short-time. Coordinated a group working on Sentiment Analysis of Hotel Reviews, showing that an approach based on open-source ontologies (in SUMO) and simple off-the -shelf tools can attain reasonable levels of accuracy, in a reasonable short-time.
-
-
-
Stanford University
-
United States
-
Higher Education
-
700 & Above Employee
-
Lecturer
-
Apr 2011 - Jun 2011
Teaching Introductory Logic Teaching Introductory Logic
-
-
-
Cuil
-
United States
-
Technology, Information and Internet
-
1 - 100 Employee
-
Search Analyst
-
May 2008 - Sep 2010
Design and deployment of mechanisms for testing quality of search results. Effectively coordinated team of ranking, data mining and front-end engineers to achieve quality testing tasks. Pre-screening of results when new data or algorithms are released. User champion working across teams and boundaries to reach quality goals. Design and deployment of mechanisms for testing quality of search results. Effectively coordinated team of ranking, data mining and front-end engineers to achieve quality testing tasks. Pre-screening of results when new data or algorithms are released. User champion working across teams and boundaries to reach quality goals.
-
-
-
PARC
-
United States
-
Research Services
-
400 - 500 Employee
-
Research Scientist
-
Oct 2000 - May 2008
Work on Logics for Natural Language Semantics, Knowledge representation systems, Evaluation of Semantic systems. Logics of context for AI and other applications, for ARDA/DTO projects NIMD (Novel Intelligence from Massive Data, DARPA sponsored) and IKRIS (Interoperable Knowledge Representation for Intelligence Support). Ontology construction and formal models of ontology merging; mathematical models of context-based natural language and knowledge reresentation systems. Construction, deployment and results analysis of test suites used for evaluation and regressing testing for ARDA Bridge and Asker systems, mapping NL to KR. Linear logic proof methods for construction of semantic representations for NL. Show less
-
-
-
University of Birmingham
-
United Kingdom
-
Higher Education
-
700 & Above Employee
-
Assistant Professor
-
Jan 1996 - 1999
Research on Linear Functional Programming, Linear Logic and Type Theory applications Principal Investigator on EPSRC project xSLAM on expllicit substitutions for linear functional programming. Consultant to SRI International and UK Defence Research Agency on languages for secure pointer analysis. Teaching of undergraduates and graduate courses; PhD supervision. Research on Linear Functional Programming, Linear Logic and Type Theory applications Principal Investigator on EPSRC project xSLAM on expllicit substitutions for linear functional programming. Consultant to SRI International and UK Defence Research Agency on languages for secure pointer analysis. Teaching of undergraduates and graduate courses; PhD supervision.
-
-
-
-
Research Assistant
-
1989 - 1995
Several diverse projects: Verification of proof assistants, Lexical Semantics for natural language, Semantics of (functional) programming languages and automated logical security, authentication an authorization. Several diverse projects: Verification of proof assistants, Lexical Semantics for natural language, Semantics of (functional) programming languages and automated logical security, authentication an authorization.
-
-
-
GALGOS - Algorithms, Optimization and Simulation Group (former ATD-Lab)
-
Brazil
-
Information Technology & Services
-
Assistant Professor
-
1987 - 1990
Dept of Informatics Teaching undergraduate and graduate courses Dept of Informatics Teaching undergraduate and graduate courses
-
-
Education
-
1985 - 1988
University of Cambridge
Ph D, Pure Mathematics -
1981 - 1983
Pontifícia Universidade Católica do Rio de Janeiro
Master's, Mathematics
Community
