I am a senior Principal Research Scientist
at Nuance Communications
Once upon a time I finished my Ph.D. under the direction
of Martin Hyland
and my thesis can be
On this page you can find my research interests, contact
information, an incomplete curriculum vitae
(from Sep 2016).
Also added (in progress) lists of publications
in program committees.
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.
7th Intuitionistic Modal Logic and Applications (IMLA) - a Workshop associated with the
29th ESSLLI (European Summer School in Language, Logic and Information,17—28 of July, 2017, Toulouse, France. Co-organizer with Sergei Artemov. workshop website: https://sites.google.com/site/modallogicimla2017/
Women in Logic. Workshop associated to LiCS 2017, 20–23 June 2017, Reykjavik, Iceland. organizer.
EBL 2017 (Encontro Brasileiro de Logica), Pirinopolis, Goias, Brazil, May 2017.
TABLEAUX 2017, 25-29 September 2017, Brasilia, Brazil. Member of Program Committee.
ASL 2017 SPRING MEETING, Seattle, Washington, April 12–13, 2017.
First Joint Meeting Brazil - Italy in Mathematics, 29 August to 2 September 2016, Rio de Janeiro, Brazil. Unfortunately I did not manage to go to this!
4th Natural Language and Computer Science (NLCS 2016),
July 10, 2016, New York, NY, USA
North American Summer School on Logic, Language, and Information (NASSLLI 2016), Rutgers, July 9-16, NJ, USA
100th Peripatetic Seminar on Sheaves and Logic (PSSL100), Cambridge, UK,
May 20--22, 2016