I am a Mathematician and AI Research Scientist, interested in NLP and Inference and all kinds of semantics.
Once upon a time I finished my Ph.D. under the direction
of Martin Hyland
and my thesis can be found here
On this page you can find my research interests, contact
information, a curriculum vitae
I work at Samsung Research America, in Mountain View, California.
My Wikipedia page is Valeria de Paiva
I am very keen on making sure that women are not short-changed in their professional lives.
I maintain a facebook group Women in Logic
and a blog Women in Logic
Check a collection of women logicians at this spreadsheet
My research interests span several areas. To begin with category theory, programming languages, type theories,
and logic in computer science, in general. Then semantics of Natural Language, logic for semantics and
lexical semantics. Then search methods and measurements, knowledge graphs and commonsense ontologies.
More fun comes in the shape of linear and modal logic, and applications to mathematics.
A full list of events will be added, as time permits. Here are some.
Encontro Brasileiro de Mulheres Matematicas, 27-28 July, 2019, IMPA, Rio de Janeiro, Brasil. workshop website: https://impa.br/en_US/eventos-do-impa/eventos-2019/encontro-brasileiro-de-mulheres-matematicas/
6th Natural Language and Computer Science (NLCS2019) workshop at IWCS 2019, 24 May, 2019, Gothenburg, Sweden. workshop website: http://www.indiana.edu/~iulg/nlcs.html
Women in Logic 2019. Workshop, LiCS 2019, 23 June 2019,Vancouver, Canada. website:https://sites.google.com/site/womeninlogic2019/home
First Joint Meeting Brazil-France in Mathematics, 15-19 July, 2019, Rio de Janeiro, Brazil. website: https://impa.br/en_US/eventos-do-impa/eventos-2019/1st-\
Proof-Theoretic Semantics, 27-30 March 2019,Tuebingen, Germany. website: http://ls.informatik.uni-tuebingen.de/PTS3/
SYSMICS 2019.21-25 January 2019, Amsterdam, The Netherlands. Invited Speaker website: http://events.illc.uva.nl/SYSMICS2019/
Luxembourg Logic for AI Summit.17-26 September 2018,\
Luxembourg. website: https://luxlogai.uni.lu
Meaningful Work: Advancing Computational Semantics, 28-31 May 2018, near Oslo, Norway. website: http://moin.delph-in.net/SynSem/MeaningRepresentation
INTERNATIONAL UNION OF HISTORY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY,10–11 August 2018, Niteroi, Brazil. Invited Speaker, http://www.dlmpst.org/pages/activities/icm-2018-satellite.php
5th Natural Language and Computer Science (NLCS2018) workshop at FLoC 2018(Federated Logic Conference, 6—19 of July, 2018, Oxford, UK. workshop
Women in Logic 2018. Workshop, FLoC 2018, 8 July 2018, Oxford, UK. website: https://sites.google.com/site/womeninlogic2018/welcome
Women in Logic. Workshop, LiCS 2017, 19 June 2017, Reykjavik, Iceland. website: https://sites.google.com/site/firstwomeninlogicworkshop/