Categorical Compositional Distributional models of meaning allow to compose the meaning of words to compute the meaning of sentences, my research focuses on extending this approach to discourse analysis: how can we compose the meaning of sentences together to compute meaning beyond the sentence boundary (be it a dialogue, a single piece of text or a more complex structure like an encyclopedia)? In essence, we need to go beyond syntax and semantics into pragmatics: the study of language in context.
On the more applied side, I am also interested in how to build concrete implementations of these models, i.e. how do we compute the meaning of words in the first place? In increasing order of exoticism, possible answers include: database queries, neural networks and quantum circuits. Interestingly, all three can be modeled using monoidal categories equipped with bimonoids, hence they are all suited to reasoning with string diagrams...
I did my undergrad in Computer Science here in the department, where I focused mainly on logic, language and game theory for artificial intelligence. I wrote my bachelor dissertation on temporal logic for computing Nash equilibria in multi-agent systems, supervised by Julian Gutierrez. I graduated from the MFOCS (mathematics and foundations of computer science) MSc in 2018, with a thesis on "Categorical Compositional Distributional Questions, Answers & Discourse Analysis", supervised by Bob Coecke.
In between I also worked as a data scientist for IRHT (Institut de Recherche et d'Histoire des Textes) in Paris, where I trained deep neural networks to analyse textual correlations between medieval manuscripts. The focus of the project wasn't so much on the deep learning models per se, as on the integration of convolutional neural networks in a richer semantic structure. I built a Semantic Web pipeline integrating text, image and their historical metadata; with the aim of reconstructing the causal structure of who copied what on whom in the Middle Ages.
Towards Compositional Distributional Discourse Analysis
Bob Coecke‚ Giovanni de Felice‚ Dan Marsden and Alexis Toumi
In Electronic Proceedings of Theoretical Computer Science. Vol. 283. Pages 1−12. 2018.
Generalized Relations in Linguistics & Cognition
Bob Coecke‚ Fabrizio Genovese‚ Martha Lewis‚ Dan Marden and Alexis Toumi
In Theoretical Computer Science. 2018.
Rational Verification: From Model Checking to Equilibrium Checking
Michael Wooldridge‚ Julian Gutierrez‚ Paul Harrenstein‚ Enrico Marchioni‚ Giuseppe Perelli and Alexis Toumi
In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. Vol. 248. Pages 123−157. 2016.