Personal Homepage

Mohammad IZADI, PhD

Assistant Professor
 

Tel: +98 21 6616 6649
izadi[at]sharif.edu

 

1. Present Status:

 Assistant Professor, Department of computer Engineering, Sharif University of Techn ology.

                   

-----------------------------------------------------------------------------------------------

2. Educational Background:

2011   PhD Degree in Computer Science, Leiden Institute of Advanced Computer Science (LIACS), Leiden University, the Netherlands.

                                   Dissertation Title: Model Checking of Component Connectors.

2008   PhD Degree in Computer Software Engineering, Sharif University of Technology, Tehran, Iran.

                                   Dissertation Title: An Integrated Formal Method for Specification and Verification of Component-Based Systems.

2002   M.Sc. Degree in Computer Engineering (Software), Sharif University of Technology, Tehran, Iran.

                                   Thesis Title: Verification of Properties Specified in Mu-Calculus Using Automata Theory.

1998   M.Sc. Degree in Philosophy of Science, Sharif University of Technology, Tehran, Iran.

                                   Thesis Title: Oddie's Theory on Truthlikeness.

1995   B.Sc. Degree in Computer Engineering (Hardware), Department of Computer Engineering, Sharif University of Technology, Tehran, Iran.

 

-----------------------------------------------------------------------------------------------------

3. Research Interests:

Logic for Computer Science, Formal Methods, Specification and Verification, Semantics, Computing and Complexity Theory, Semantics of Programming Languages,  Intensional Type Theory, Theory of Formal languages and Automata, Philosophy of AI, Language and Mind, Semantical Problem of Verisimilitude. Fuzzy Systems and Artificial Neural Networks.

 

-----------------------------------------------------------------------------------------------

4. Professional Background:

 

 

 

-----------------------------------------------------------------------------------------------

5. Courses I have taught:

 

    Undergraduate Level

 

  • Theory of Formal Languages and Automata. (For B.Sc. Students of Computer Engineering) Sharif University, Shahed University, Channel 7 of IRIB TV.
  • Discrete Mathematics for Computer Science. (For B.Sc. Students of Computer Engineering) Sharif University, Shahed University.
  • Data Structures and Algorithms. (For B.Sc. Students of Computer Engineering) Sharif University, Shahed University, Channel 7 of IRIB TV.
  • Analysis and Design of Algorithms. (For B.Sc. Students of Computer Engineering) Shahed University, Channel 7 of IRIB TV.
  • Programming Languages: Design and Implementation. (For B.Sc. Students of Computer Engineering) Shahed University.
  • Computer Foundations and Advanced Programming with C/C++. (For B.Sc. Students of Electrical Engineering), Sharif University of Technology, Channel 7 of IRIB TV.
  • Computer Foundations and Structured Programming with Pascal. (For B.Sc. Students of Electrical Engineering), Sharif University of Technology, Channel 7 of IRIB TV.

    Graduate Level

  • Philosophy of Science I: Scientific Theory and It's Evidences. For M.Sc. Students of Philosophy of Science at Sharif University of Technology.
  • Theoretical and Philosophical Foundations of Theories of Computation and Information, For M.Sc. Students of Philosophy of Science at Sharif University of Technology.
  • Logic and Computability, For PhD and M.Sc Students of Philosophy of Science at Sharif University of Technology (current).
  • Computational Complexity, For PhD and M.Sc Students of  Computer Science at Tarbiat Modaress University (current).

 

-----------------------------------------------------------------------------------------------

 6.  Awards, Honors and Honorary Jobs:

 

  • March 1996 - March 1998, "A Councilor of Cultural Council of Sharif University of Technology", By the nomination of the President of the University.
  • January 1999, " Kharazmi Award for the Best Graduation Thesis in the Foundations of  Basic Sciences", Iranian Ministry of this is for my M.Sc thesis in philosophy of science.
  • March 1999 - March 2001, "A Member of the Main Committee of Computer Engineering Division of Alumni of Sharif University of Technology" By the nomination of the Minister of Industries who was the Secretary General of the Alumni of the University.
  • October 2004, "The Diploma as An Outstanding Graduate Student in  Sharif  University of Technology".
  • August 2004 - August 2005, "Sharif University of Technology Full Fellowship for top PhD students".
  • August 2005 - Now, "Sharif University of Technology Full Fellowship for top PhD students".
  • February 2006 - May 2006, " The British Council Scholarship for PhD students".
  • June 2006, "MOVEP06 Partial Scholarship".
  • March 2008, Ketab e Fasl Award (The Award for the Best Book Published in Winter 2007 in Iran in the field of basic sciences), for the book "Behforoz, A., Izadi, M., Discrete Mathematics and Algorithms", Iranian Ministry of Culture.

 

-----------------------------------------------------------------------------------------------------------

7. Publications

 

7-1 Composed Books

                1.   Izadi M., Logical and Philosophical Foundations of  the Theory of Computation, Research Institute for Humanities and Cultural Studies

                      Press, forthcoming. (As the result of 3 years research position in IHCS, 2004-2007).

2.   Behforoz, A., Izadi, M., Discrete Mathematics and Algorithms, 2od Edition, as the first volume of six volumes of Mathematical Foundations of Computer Science, Ayeej Pub. Co., Tehran, Iran, 2007.

3.        Behforoz, A., Izadi, M., Logic for Computer Science: Z specification and Logic Programming with Prolog,  as the second volume of six volumes of Mathematical Foundations of Computer Science, Iran University Press, forthcoming.

 

7-2 Edited Book

            Gholizadeh, B., Discrete Mathematics, Sharif University Press,2002.

 

7-3 Journal Papers (in Computer Science)

1.   Izadi M., Movaghar A., "Model Checking of Component Based Software Using Compositional Reductions", International Journal of Software Engineering and Knowledge Engineering 18(5), WorldScientific Pub. Co., August 2008, Pp. 683-712.

2.   Izadi M., Movaghar A., "Failure Based Equivalence of Constraint Automata", International Journal of Computer Mathematics, Taylor and Frances Pub. Co., Accepted.

3.   Izadi M., Movaghar A, "An Efficient Model Checking Algorithm for a Fragment of μ-Calculus", CSI Journal of Computer Science and Engineering (JCSE) , Vol. 3,  No. 3 (a),  pp. 43-53, Fall 2005.

 

7-4 Journal and Magazine Papers (in Philosophy of Science and Logic)

4.   Izadi M., "Verisimilitude: A Qualitative Comparison Between Oddie's and Niinilouto's Views", World Congress of Mulla-Sadra, Logic, Language and Philosophy of Science Session, ,Volume 10 of the Proceeding of the Congress, May. 1999. (both in Persian and English)

5.   Izadi M., "Truthlikeness: Intensional-Likeness Approach, Oddie's Theory", Modarres Journal, Tarbiat Modarres University Press.

6.   Izadi M., "Intensional Logics: An Overview ", Iranian Journal of Mathematics ( Nashre Riazi).

7.   Izadi M., "Goltlob Frege: Philosopher-Mathematician", AVA Magazine, Volumes 40-41,1998.

8.   Izadi M., "From Skepticism to Logical Positivism: A Critical Approach", AVA Magazine, Volumes 42-50, (Serial Articles), 1998-1999.

9.   SoltanZade S., Izadi M., "Possible Worlds Semantics: A Comparison of Kripke and  Wittgenestein's Views", Nameye Mofid: Philosophical Journal.

 

7-5 Conference Papers (in Computer Science)

1.   Izadi M. , Movaghar A., "Compositional Failure-based Equivalence of Constraint Automata", Proceedings of AVoCS07, Oxford, UK, September 10-12, 2007. (to appear in Elsevier's ENTCS and will be considered as a submitted paper by Springer's Journal of Formal Aspects of Computing).

2.   Izadi M., Movaghar A, "An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata" , Electronic Notes in Theoretical Computer Science (ENTCS), vol. 159,Pages   171-186 , Elsevier 2006.   (Selected to be considered for the special issue of the journal of Foundamenta Informatica).

3.   Izadi M. , Movaghar A., "Compositional Failure-based Semantic Equivalences for Reo Specifications", Proceedings of ACM SAVCBS07, Dubrovnik, Croatia, September 3-7, 2007.

4.   Izadi M. , Movaghar A., Arbab F., "Model Checking of Component Connectors", Proceedings of 31st Annual IEEE International Computer Software and Applications Conference (COMPSAC2007), Beijing, July 23-27, 2007.

5.   Izadi M. , Movaghar A., "Model Checking of Component-based Systems and Coordination Models", Proceedings of 9th International Conference on Enterprise Information Systems 12-16, June 2007, Funchal, Madeira, Portugal.

6.   Izadi M., "Typed Temporal Logic: A General Framework for Verification of Nonfunctional and Security Requirements of Component Based Systems", MOdeling and VErification of Parallel Processes (MOVEP06), Bordeaux, France, June 2006.

7.   Izadi M. , Movaghar A., "A Logic for Formal Specification of omega-Automata", Proceedings of 11th Annual Int. CSI Computer Conference, Tehran, Iran,  pp. 735-738, January 2006.

8.   Izadi M., Movaghar A., "An Efficient Model Checking Algorithm for a Fragment of μ-Calculus", The Seventeenth International Conference on Software Engineering and Knowledge Engineering (SEKE2005), July 14 to 16, 2005, Taipei, Taiwan.

9.   Izadi M., Movaghar A.," A Formal System for Compositional and Hierarchal Modeling and Verification of Component Based Computing Systems", will be presented  in International Symposium in Telecommunication 2005 (IST2005), September 2005, Iran Telecommunication Research Center (ITRC), 2005.

10. Izadi M., Movaghar A.," An Equivalence-Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata", will be presented  in IPM International Workshop on Foundations of Software Engineering (FSEN 2005), Oct. 1-3, 2005, Institute for studies in theoretical physics and mathematics (IPM), 2005.

11. Izadi M., Movaghar A, "Integration of formal Methods: A Unified Approach for Using Formal Methods in Object-Oriented and Component Based Systems",  10th Computer Society of Iran's Annul Conference of Computer, February 2005 , Iran Telecommunication Research Center (ITRC), 2005.

12. Izadi M., Movaghar A, "A Formal Method for Specification and Consistency Evaluation of Modalities in Management Policies of Open Distributed Systems", The Second International Conference in Information and Knowledge Technology (IKT2005), AmirKabir University of Technology, May 24 to 26, 2005.

13. Izadi M., Movaghar A, "Using Temporal Logics and Automata Theory for Reasoning about Computer Systems Properties: Part II", Sharif University of Technology Research Reports Proceedings, 1383.

14. Izadi M., Movaghar A, "A New Algorithm for μ-Calculus Model Checking", 9th Computer Society of Iran's Annul Conference of Computer, February 2004 , Sharif University of Technology Research, Tehran, Iran.

15. Izadi M., Movaghar A, "Using Temporal Logics and Automata Theory for Reasoning about Computer Systems Properties: Part I", Sharif University of Technology Research Reports Proceedings, 1382.

16. Izadi M., Movaghar A, "A New Approach to Verification of Properties Specified in Mu-Calculus: Using Automata Theory", 8th CSI Annul Conference of Computer, Mashhad, Iran, Feb. 2003.

17. Izadi M., "Adaptive Resonance Theory: A Popperian Approach to the Philosophy of Artificial Neural Networks", Second International Conference of Cognitive Science, Tehran, Iran, Feb. 2003.

18. NavidPour S., Izadi M., "Temporal Logic and Constraint Automata", In Proc. of  11th International Conference of CSICC, Published by Springer-Verlag, 2008.

19. Navidpou S., Izadi M., Movaghar A., "Live and Fair Constraint Automata and Their Linear Temporal logic of Steps", In Proc. of  32nd  IEEE International Conference of COMPSAC, Turku, Finland, August 2008.

20. Bashari M., Movaghar A., Izadi M., ""

21. Bonsangoue M., Izadi M., "Automata Based Model Checking for Reo Connectors", accepted  in FSEN 2009, will apear in Lecture Notes in Computer Science of Springer-Verlag, 2009.

22. Izadi M., Bonsangoue M., "Recasting Constraint Automata into Buchi Automata", In Proc. of ICTAC2008, Istanbul, Turkey, September 2008, Lecture Notes in Computer Science 5160, springer-Verlag, pp. 156-170, 2008.

23. Izadi M., Bonsangue M., "Modeling Component Connectors: Synchronisation and Context-Dependency", in Proc. 6th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2008)}, pp.303-312, 2008.  (Selected to be considered for the special issue of Springer's Journal of System and Software Modeling).

 

7-6 Dissertations and Technical Reports

 

1.        " A Guide to HP's Microprogrammable Computers", written as a booklet for computer architecture lab. Dept. of Computer Engineering, Sharif University of Technology, 1993.

2.        "A Survey on RISC Architectures", B.Sc. Dissertation and Project, Dept. of Computer Engineering, Sharif University of Technology, 1995.

3.        " Oddie's Theory on Truthlikeness", M.Sc. Thesis, Philosophy of Science Dept., Sharif University of Technology, 1998.

4.        "Verification of Properties Specified in Mu-Calculus Using Automata Theory", M.Sc. Thesis, Dept. of Computer Engineering, Sharif University of Technology, 2002. 

 

7-7 PhD Thesis

 

            "An Integrated Formal Method for Specification and Verification of  Component Based Systems", Sharif University of Technology, Tehran, Iran.

            "Model Checking of Component Connectors", Leiden University, the Netherlands.

-----------------------------------------------------------------------------------------------------------

8. E-Mail Address

 Izadi[at]sharif.edu