Personal Homepage

Mohammad IZADI
 

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

 

1. Present Status:

 

1.          Member of  Research Staff (Researcher), Logic and Philosophy of Science Department, Research Institute for Humanities and Cultural Studies, Ministry of Science, Research  and Technology, Tehran, IRAN. (Jointed to Philosophy of Science Department, Sharif University of Technology ).

2.          PhD Candidate of Computer Software Engineering, Department of Computer Engineering, Sharif University of Technology , Tehran, IRAN.

3.          PhD Candidate of Computer Science, Leiden Institute of Advanced Computer Science (LIACS), Leiden University, the Netherlands.

                   

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

2. Educational Background:

 

Jun.2006 - Until Now   PhD Candidate of Computer Science, Leiden Institute of Advanced Computer Science (LIACS), Leiden University, the Netherlands.

                                     Supervisor (in LIACS): Professor Dr. Farhad Arbab

                                     Supervisor (in Sharif): Professor Dr. Ali Movaghar

                                     Co-Supervisor: Dr. Marcello Bonsangue

                                     Dissertation Title: Model Checking of Component Connectors.

 

Feb.2003 - Until Now   PhD Candidate of Computer Software Engineering, Department of Computer Engineering, Sharif University of Technology .

                                     GPA 18 of  20

                                     Supervisor: Professor Ali Movaghar

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

 

Sept.2000 - Dec.2002.  M.Sc. Degree in Computer Engineering (Software), Department of Computer Engineering, Sharif University of Technology .

                                      GPA 17.25 of  20

                                      Supervisor:  Professor Ali Movaghar

                                      Advisor: Dr. Seyyed Hassan Mirian

                                      Referee: Professor Mohammad Ardeshir (Department of Mathematical Sciences, Sharif University of Technology)

                                      Thesis Title: Verification of Properties Specified in Mu-Calculus Using Automata Theory. (Grade 20 of 20)

 

Sept.1995 - Feb. 1998.  M.Sc. Degree in Philosophy of Science, Sharif University of Technology, Tehran, Iran.

                                      As the first graduated student in this field in Iran. (GPA 17 of  20)

                                      Supervisor:  Professor Yossef  S. Aliabadi

                                      Advisor: Professor Mohammad Ardeshir (Department of Mathematical Sciences, Sharif University of Technology)

                                      Referees: Professor Zia Movahed & Professor Shapoor Etemad (both from Iranian Academy of Philosophy)

                                      Thesis Title: Oddie's Theory on Truthlikeness (Grade 19 of  20)

 

 Sept.1990 - Sept.1995. B.Sc. Degree in Computer Engineering (Hardware), Department of Computer Engineering, Sharif University of Technology.

 

 Sept.1992    High School Diploma in Social Economics, Najafabad, Isfahan, Iran.

 

  June.1990    High School Diploma in Mathematics and Physics, Najafabad, Isfahan, Iran.

 

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

3. Research Interests:

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

 

 

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

4. Professional Background:

 

 

 

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

5. Courses I have taught:

 

  • 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) Shahed University.
  • Data Structures and Algorithms. (For B.Sc. Students of Computer Engineering) Sharif University of Technology, 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.
  • 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)

 

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

 6.  Awards, Honors and Honorary Jobs:

 

  • March 1996 - March 1997, "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".

 

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

7. Publications

 

7-1 Composed Books

1.        Behforoz, A., Izadi, M., Discrete Mathematics and Algorithms, 2od Edition, as the first volume of six volumes of Mathematical Foundations of Computer Science, Iran University Press, forthcoming.

2.        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

1.        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.

2.        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.

3.        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)

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

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

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

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

7-4 Conference Papers

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)

2.        Izadi M. , Movaghar A., "Compositional Failure-based Semantic Equivalences for Reo Specifications", Extended Abstract, Proceedings of ACM SAVCBS07, Dubrovnik, Croatia, September 3-7, 2007. (to appear)

3.        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. (to appear)

4.        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. (to appear)

5.        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.

6.        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.

7.        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.

8.        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), Shiraz, Iran.

9.        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), Tehran, Iran

10.     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), Tehran, Iran.

11.     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, Tehran, Iran.

12.     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.

13.     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.

14.     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.

15.     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.

16.     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.

7-5 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-5 PhD Thesises (in progress)

 

            "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]ce.sharif.edu

Izadi[at]mehr.sharif.edu