Since October 2008, I am an EPSRC Postdoctoral Research Fellow in Oxford. 

Here is my new webpage.





Publications 


  1. M. Sadrzadeh, ‘Ockham’s Razor and Reasoning about Information Flow’, to appear in  Knowledge Rationality Action issue of Synthese, proceedings of PIL’07
  2. S. Richards, M. Sadrzadeh, ‘Aximo: Automated Axiomatic Reasoning for Information Update’, to appear in  ENTCS, proceedings of M4M’05.
  3. R. Pucella, M. Sadrzadeh, ‘Towards a Concrete Semantics for Announcements’, 8th Conference on Logic and the Foundations of Games and Decision Theory (LOFT), Amsterdam, July 2008.
  4. E. D’Hontd, M. Sadrzadeh, ‘Classical Knowledge for Quantum Security’, to appear in ENTCS, proceedings of the Joint Quantum Physics and Logic (QPL) and DCM workshops of ICALP, Iceland, July 2008.
  5. C. Cirstea. M. Sadrzadeh, ‘Modular Games for Coalgebraic Fixed Point Logics’, ENTC Proceedings of  Workshop on Coalgebraic Methods in Computer Science, ETAPS, 2008.
  6. S. Clark, B. Coecke, M. Sadrzadeh, ‘Towards a Distributional Compositional Model of Meaning’, Proceedings of Conference on Quantum Interactions, P. Bruza, W. Lawless, J. van Rijsbergen (eds.), College Publications, University of Oxford, 2008. PDF
  7. S. Richards, M. Sadrzadeh, ‘Aximo: Automated Axiomatic Reasoning for Information Update’, Proceedings of the 5th workshop on Methods for Modal Logic, Ecole normal superieure de Cachan, 2007.
  8. M. Sadrzadeh, ‘Pregroup Analysis of Persian Sentences’, in C. Casadio and J. Lambek (Eds.),  Recent Computational Algebraic Approaches to Morphology and Syntax, Polimetrica, Milan, 2008. PDF
  9. C. Cirstea, M. Sadrzadeh, ‘Coalgebraic Epistemic Update without Change of Model’, Lecture Notes in Computer Science 4624, pp. 158-172, 2007, Proceedings of Conference on Algebra and Coalgebra in Computer Science (CALCO). Link
  10. A. Baltag, B. Coecke, M. Sadrzadeh, ‘Epistemic Actions as Resources’, Journal of Logic and Computation 17 (3), pp. 555-585, 2007. PDF, Link.
  11. M. Sadrzadeh, ‘High Level Quantum Structures in Linguistics and Multi Agent Systems’, Proceedings of the AAAI Spring Symposium on Quantum Interaction, P. Bruza, W. Lawless, J. van Rijsbergen (eds.), Stanford University, 2007. PDF
  12. A. Baltag, M. Sadrzadeh, ‘The Algebra of Multi-Agent Dynamic Belief Revision’, Electronic Notes in Theoretical Computer Science 157, pp. 37-56, 2006. Link
  13. M. Marion, M. Sadrzadeh, ‘Reasoning about Knowledge in Linear Logic: Modalities and Complexity’, in: Logic, Epistemology, and the Unity of Science, Kluwer Academic Publishers, pp. 327-350, 2004.
  14. M. Sadrzadeh, ‘Modal Linear Logic in Higher Order Logic, an experiment in Coq’, in: Emerging Trends Proceedings of Theorem Proving in Higher Order Logics (TPHOLS) 2003, D. Basin, W. Burkhart (eds.), Rome, ARACNE, No. 187, pp.75-93, 2003.

 


 

top

 

 

Some Talks (invited)

 

 

  1. `What is the Vector Space content of what we say? A Categorical Approach to Meaning', LIRMM, Montpelier, Dec'08 -- Workshop on Logic and Pragmatics, Verona, Dec'08 -- 3rd Workshop of Categories, Logic, and Foundations of Physics, Oxford, Aug'08.
  2. ‘From [pregroup] typing to [vector space] meaning’, 50 Years from the Syntactic Calculus, organized by C. Casadia in the University of Chieti, July 2008.
  3. ‘Okham’s Razor Applied to Reasoning about Information Flow’, Workshop on the Philosophy of Information and Logic, University of Oxford, Nov 2007.
  4. ‘Epistemic Measurement Calculus’, Conference on Quantum Theory: Reconsideration of Foundations, Sweden, June 2007.
  5. ‘Epistemic Update: from Kripke to algebra and coalgebra’, Workshop on Dynamic Logic, Universite du Quebec `A Montreal, Canada, June 2007.
  6. ‘Quantale Semantics for Security’, Workshop on Mathematical Methods for Reasoning about Security, Bellairs Research Institute, McGill University, Barbados, March 2007.
  7. ‘Dynamic and Epistemic Modalities as Adjunctions’, Workshop on Type theory, Lambda Calculus, Proof theory, School of Computer Science, University of St. Andrews, August 2005.


I have presented my work in departmental seminars including:

Algebra/Coalgebra Seminar of ILLC in Amsterdam, Technical University of Eindhoven, DSSE Seminar of ECS in Southampton, Joint Queen Mary/Imperial College Theory Seminar, Computational Logic Seminar in St. Andrews, Sharif University in Tehran, Mathematics Seminar of Masaryk University in Czech Republic, Finance Seminar in Essex, 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 7.

top

 

 

Some Pictures

 

Mount Damavand in Iran

     Autumn in Alborz mountains

Ramifications of Category Theory '03,

Pictures of Mathematicians,

CTCS'02,

QUOXIC'04,

TANCL’07,

      A roof top in San Francisco,

      A not too bad one of me alone!

           

 

 

 


top