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 found here
On this page you can find my research interests, contact
information, an incomplete curriculum vitae
(from Sep 2016).
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 (IMLA2017) workshop in 29th ESSLLI, 17—28 of July, 2017, Toulouse, France, with Sergei Artemov. workshop website: https://sites.google.com/site/modallogicimla2017/
Women in Logic. Workshop, LiCS 2017, 19 June 2017, Reykjavik, Iceland. website: https://sites.google.com/site/firstwomeninlogicworkshop/
Workshop LACompLing2017, CSL2017, August 16–19, 2017, Sweden. co-organizer,
TABLEAUX 2017, 25-29 September 2017, Brasilia, Brazil. Program Committee, http://tableaux2017.cic.unb.br
ASL 2017 SPRING MEETING, Seattle, Washington, April 12–13, 2017. http://richardzach.org/2017/04/10/association-for-symbolic-logic-at-the-pacific-apa