Mehrnoosh Sadrzadeh
|
Dr Mehrnoosh Sadrzadeh
EPSRC Career Acceleration Fellow
Fellow,
Wolfson College
mehrs@cs.ox.ac.uk
(01865 2)73825
Room 217, Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
- My dblp
entry.
- Our EPSRC project New Foundational Structures for Engineering Verified multi-UAV's has just been awarded
funding. The PI is Prof. Daniel Kroening, the Co-PI's are myself
and Sonia Waharte. Our partners are IBM, and professors Prakash Panangaden
and Michael
Wooldridge. We are going to (have already started on that track!) use the algebra and proof theory of dynamic epistemic
logic to verify UAV protocols. A UAV is an Unmanned Aerial Vehicle. We work
with pelicans. Here is the
EPSRC webpage of the grant.
- I am an EPSRC Career Acceleration Fellow! Here is the EPSRC webpage of the grant, which is in partnership with Universities of Cambridge and Utrecht and Google Inc. My project is about using advanced categorical and diagrammatic vector space models of Quantum Information to reason about compositional distributional meaning in natural langauge.
- Our last ``Quantum Linguistics'' paper titled Experimental Support for a Categorical Compositional Distributional Model of Meaning gets the approval of the hard core experimental linguists! It has been accepted for a full presentation at the conference Empirical Methods in Natural Language Processing (EMNLP 2011, acceptance rate 15%)!
- We are in the New Scientist, under the cover heading `Quantum Links Let Computers Understand Language' (issue 2790, Dec'10) with cover heading as ``Quantum Linguistics Leap forward for artificial intelligence''. The article is about the paper Mathematical Foundations for a Compositional Distributional Model of Meaning and a bit of Concrete Compositional Sentence Spaces.
- I was an EPSRC Postdoctoral Fellowship in Oxford from Oct 2008 to 2011, here is the EPSRC webpage of my project.
I am interested in using computational methods and formalisms to model and reason about properties of scenarios inspired by real life. On the mathematics side, I have been working with various kinds of logic, algebra, and categorical frameworks and their axiomatic, proof theoretic, and diagrammtic methods of reasoning. On the Application side, I have focused on epistemic attitudes and natural language.
- Compositional distributional models of meaning in natural language. I was awarded an EPSRC Career Acceleration Fellowship (CAF) for this stand (partners: Universituies of Cambrdige and Utrecht and Google Inc). The title of my project is Foundational Structures for Compositional Meaning. By using advanced categorical and diagrammatic methods developed in the quantum group of the department, me and my colleagues (Ed Grefenstette, Bob Coecke, Stephen Clark, Stephen Pulman) have managed to, for the first time, develop a method to compute meaning vectors for sentences which are both context-based and logical. Check out our departmental project page. Things we are busy with include:
- Empirical Validation
- Meanings of Logical Words
- Vector Space/Probabilistic Semantics for pregroups, Lambek calculi, CCG
- Application to Natural Language Processing Tasks
- Formalizing epistemic attitudes and verifying their corresponding rules and scenarios. I was awarded an EPSRC Postdoctoral Research Fellowship (PDRF) for this strand. The title of my project was Algebraic and Coalgebraic Semantics for Knowledge Acquisition, or AlCoSeK (partners: McGill University and ILLC-University of Amsterdam). The general theme is algebraic epistemic and dynamic logics and their proof systems to reason about belief and its change as a result of communication actions. With Prof. Panangaden, Doina Precup, and students Alex Horn, Caitlin Philips, we extended the setting with navigation actions to be able to reason about learning as a result of moving. With Kroening, Tautschnig, and Waharte we aim to apply these logics to verification of umanned aerial vehicles (UAVs). We have just won an EPSRC grant on this topic. Things we are busy with include:
- Algebraic and Categorical Models for Adjoint and Converse Modalities
- Proof Theory for logics of propositions, actions, adjoint modalities (with Roy Dyckhoff and Julien Truffaut)
- Applications to Multi-Agent Systems, Robot Navigation, and Classical-Quantum Security Protocols
- Application to Scenarios of Unmanned Aerial Vehcles (UAVs)
- Automation: The algebraic axiomatics has been implented in a C++ software Aximo by my student Simon Richards. The proof system has been implented in Haskel by my student Julien Truffaut.
- I am the lecturer for the course Reasoning about Information Update.
- I taught `Logical Computations in Multi-Agent Systems', in the Sino-European Winter School on Logic Language Information (SELLC), Guanghzou, China, Dec'10, it was so much fun!
- Together with C. Heunen we organized an interdisciplinary workshop Cat in the Flow of PhyLing on Categotical Methods of Information Flow in quantum PHYsics and LINguistsc, funded by British Council and the Dutch Platform Beta-Techniek, Oct'10. A volume of selected papers will be published as a book by Oxford University Press (editors: Heunen, Grefenstette, Sadradeh).
- I organized an interdisciplinary logic-linguistics workshop on "Theory and Practice of Meaning Composition in Natural Languages", funded by (and in) Wolfson College and my EPSRC project, Sept'09.
- I am one of organizers of OASIS: the seminar series of the Foundations group.
- I organize department's Cakes talks, since Hilary 2012.
- I sing in Wolfson College's Alternative Choir, and chaired the Music Society in 2010-2011. I am part of the Wolfson Community.
Mohammad Ardeshir, Alexandru Baltag, Claudia Casadio, Corina Cirstea, Stephen Clark, Bob Coecke, Ellie D'hondt, Roy Dyckhoff, Ed Grefenstette, Alex Horn, Daniel Kroening, Mathieu Marion, Alessandra Palmigiano, Prakash Panangaden, Pere Pardo, Anne Preller, Riccardo Pucella, Steve Pulman, Simon Richards, Michael Tautschnig, Julien Truffaut, Sonia Waharte.
Recent News
Projects
Improving the reliability of unmanned aircraft used in disaster situations: new grant awarded
Members of the Computer Science Department have been awarded funding by EPSRC (Engineering and Physical Sciences Research Council) for the `New Foundational Structures for Engineering Verified Multi-Unmanned Aerial Vehicles` project
Selected Publications
| Experimenting with Transitive Verbs in a DisCoCat Edward Grefenstette and Mehrnoosh Sadrzadeh In Proceedings of the GEMS 2011 Workshop on GEometrical Models of Natural Language Semantics. 2011. Details | BibTeX | Link (pdf) |
| Experimental Support for a Categorical Compositional Distributional Model of Meaning Edward Grefenstette and Mehrnoosh Sadrzadeh In Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing. 2011. Details | BibTeX | Link (pdf) |
| A Compositional Distributional Semantics‚ Two Concrete Constructions‚ and some Experimental Evaluations Mehrnoosh Sadrzadeh and Edward Grefenstette In Lecture Notes in Computer Science. Vol. 7052. Pages 35–47. 2011. |
Info
|
Themes |
|
|
Activities |
Compositional Distributional Models of Meaning | Computational Linguistics | Epistemic Logics | Quantum Group |
|
Projects |
Foundational Structures for Compositional Meaning | EPSRC UAV Autonomy |
|
Completed Projects |
Algebraic and Coalgebraic Semantics for Knowledge Acquisition | |
|
Students |
|
