Dr Mehrnoosh Sadrzadeh
Lecturer
Research Interests
Category Theory, Residuated Lattices, Proof Theory
Modal Logics, Robot Navigation
Compositional Distriutional Semantics
Natural Language Processing
NEWS
Matt Purver and I have a fully funded joint Theory-CogSci PhD studentship on theory and applications of compositional distributional models of meaning. For details see:
http://www.jobs.ac.uk/job/AGM011/phd-studentship/
PROJECTS
- EPSRC project: New Foundational Structures for Engineering Verified multi-UAV's.
- EPSRC Career Acceleration Fellowship: Foundational Structures for Compositional Meaning.
- Done: EPSRC Postdoctoral Fellowship: (AlCoSeK) Alegbraic and Coalgebraic Semantics for Knowledge.
RECENT PUBLICATIONS
- Edited Volume: Quantum Physics and Linguistics: A Compositional‚ Diagrammatic Discourse
Oxford University Press. February, 2013
Chris Heunen, Mehrnoosh Sadrzadeh, Edward Grefenstette (eds)
- Algebra, Proof Theory and Applications for an Intuitionistic Logic of Propositions, Actions and Adjoint Modal Operators
By: Roy Dyckhoff, Julien Truffaut, Mehrnoosh Sadrzadeh
In: ACM Transactions on Computational Logic (ToCL), to appear
- Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus
By: Bob Coecke‚ Edward Grefenstette and Mehrnoosh Sadrzadeh
In: Annals of Pure and Applied Logic, to appear
- Experimental Support for a Categorical Compositional Distributional Model of Meaning
By: Edward Grefenstette and Mehrnoosh Sadrzadeh
In: ACL Proceedings of Conference on Empirical Methods in Natural Language Processing (EMNLP), 2011.
- Mathematical Foundations for a Compositional Distributional Model of Meaning
By: Bob Coecke, Mehrnoosh Sadrzadeh, Stephen Clark
In: Linguistic Analysis, a Festschrift for Jim Lambek
J. van Bentham and M. Moortgat (eds)
- Edited Volume: Quantum Physics and Linguistics: A Compositional‚ Diagrammatic Discourse
Oxford University Press. February, 2013
Chris Heunen, Mehrnoosh Sadrzadeh, Edward Grefenstette (eds)
- Algebra, Proof Theory and Applications for an Intuitionistic Logic of Propositions, Actions and Adjoint Modal Operators
By: Roy Dyckhoff, Julien Truffaut, Mehrnoosh Sadrzadeh
In: ACM Transactions on Computational Logic (ToCL), to appear
- Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus
By: Bob Coecke‚ Edward Grefenstette and Mehrnoosh Sadrzadeh
In: Annals of Pure and Applied Logic, to appear
- Experimental Support for a Categorical Compositional Distributional Model of Meaning
By: Edward Grefenstette and Mehrnoosh Sadrzadeh
In: ACL Proceedings of Conference on Empirical Methods in Natural Language Processing (EMNLP), 2011.
- Mathematical Foundations for a Compositional Distributional Model of Meaning
By: Bob Coecke, Mehrnoosh Sadrzadeh, Stephen Clark
In: Linguistic Analysis, a Festschrift for Jim Lambek
J. van Bentham and M. Moortgat (eds)
PAST TEACHING AND ORGANIZATION
- Reasoning about Information Update from 2008 to 2012, Dept of CS, Oxford.
- `Logical Computations in Multi-Agent Systems', in the Sino-European Winter School on Logic Language Information (SELLC), Guanghzou, China, Dec'10.
- Interdisciplinary workshop Cat in the Flow of PhyLing, organized with C. Heunen, funded by British Council and the Dutch Platform Beta-Techniek, Oct'10.
- OASIS, From Oct 2008 to Oct 2013, seminar series of the Foundations group, Dept of CS, Oxford.
- Cakes talks, Hilary and Trinity 2012, Dept of CS, Oxford.
- Alternative Choir and Music Society, Oct 2009 to Oct 2012. Wolfson College, Oxford.