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).
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.
5th Natural Language and Computer Science (NLCS2018) workshop at FLoC 2018(Federated Logic Conference, 6—19 of July, 2018, Oxford, UK. workshop website: http://www.indiana.edu/~iulg/nlcs.html
Women in Logic 2018. Workshop, FLoC 2018, 8 July 2018, Oxford, UK. website: https://sites.google.com/site/womeninlogic2018/welcome
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
Women in Logic. Workshop, LiCS 2017, 19 June 2017, Reykjavik, Iceland. website: https://sites.google.com/site/firstwomeninlogicworkshop/
ASL 2017 SPRING MEETING, Seattle, Washington, April 12–13, 2017. http://richardzach.org/2017/04/10/association-for-symbolic-logic-at-the-pacific-apa