Mehrnoosh

Research Interests:

Algebraic and categorical structures for reasoning about information update in multi-agent systems
Sequent Calculus proof systems for these models
Applications to belief revision and security protocols
Lambek's pregroup semantics for Persian grammar
Hilbert’s epsilon and tau calculus in modern philosophy and logic

In my thesis (submitted), I have developed an algebra and sequent calculus for information update in multi-agent systems, based on joint work with Alexandru Baltag and Bob Coecke . One of the feature of this logic is its encoding of epistemic and dynamic modalities as Galois adjoints, which makes it easily applicable to reasoning about security protocols and belief revision.

I am a member of CIRST in Montreal and FoCS in Oxford.

Publications

Some of my Talks

Pictures

Publications

A. Baltag and M. Sadrzadeh, `The Algebra of Multi-Agent Dynamic Belief Revision', to appear in Electronic Notes in Theoretical Computer Science, proceedings of third workshop on Logic and Communication in Multi-Agent Systems, IJCAI, Edinburgh, August 2005.
A. Baltag, B. Coecke, M. Sadrzadeh, `Epistemic Actions as Resources', submitted to the Journal of Logic and Computation.
A. Baltag, B. Coecke, M. Sadrzadeh, `Algebra and Sequent Calculus for Epistemic Actions', ENTCS 126, pp. 27-52, March 2005 (for an updated version see No.2 above) .
A. Baltag, B. Coecke, M. Sadrzadeh, `Reasoning about Dynamic Epistemic Logic', Proceedings of second European Workshop on Multi Agent Systems, pp. 605-614, Barcelona, December 2004.
M. Sadrzadeh, `Modal Linear Logic in Higher Order Logic, an experiment in Coq', Emerging Trends Proceedings of Theorem Proving in Higher Order Logics (TPHOLS), D. Basin and W. Burkhart (eds.), pp. 75-93, September 2003.
M. Marion and M. Sadrzadeh, `Reasoning about Knowledge in Linear Logic: Modalities and Complexity', Logic Epistemology and the Unity of Science, Kluwer, D. Gabbay, S. Rahman, J. Symons, J. van Bendegem (eds.), pp. 327-350, 2003.

In Preparation

M. Sadrzadeh, `A Suspicion-Based Quantale Logic for Compositional Reasoning about Authenticity'.

top

Some of my Upcoming and Recent Talks

`Towards an Action Logic for Reasoning about Authenticity', Interactive Logic, 7th Augustus de Morgan Workshop, King's College, London, November 2005.
`Algebra for Information Changing Actions and its Applications to Security Protocols', Concurrrency and Security Seminar, Oxford University Computing Laboratory, October 2005.
`Intuitionistic Epistemic Logic with Actions', British Logic Colloquium, Bristol, September 2005.
`Dynamic and Epistemic Modalities as Adjunctions', Type Theory, Proof Theory and Lambda Calculus Workshop, At. Andrews University, August 2005.
'Quantum Mud', Quantum Information, Computation and Logic, Perimeter Institute of Theoretical Physics, Canada, July 2005.
'Quantales for Reasoning about Security Protocols', short presentation in Logic in Computer Science, Chicago, June 2005.

I have presented my thesis work in different seminars including:

Kestrel Research Institute in California, Analytic Topology Seminar in Oxford, Category Theory Seminar in Montreal, Ottawa-Carleton Logic Seminar, Leeds Logic Seminar, University of Leicester Computing Seminar, Preuves, programmes et systèmes (PPS) in Paris VII.

Among my conference and workshop presentations are:

Algebraic and Topological Methods in Non-Classical Logics'05 in Barcelona, Logics from Quantales'05 workshop in Oxford, Quantum Computation'04 workshop in McGill University's Research Institute in Barbados!

Some of my other talks were about the Constructive Content of Hilbert's Epsilon and Tau Calculus in Institute d'histoire et de philosophie des sciences et des techniques (IHPST), Paris I, and the Problem of Logical Omniscience in Linear Logic presented in Logic and Rationality colloquiums in Montreal and Paris.