In the name of God

   Zeinab Iranmanesh

   Master's Student

    Department of Computer Engineering

    Sharif University of Technology

    Sharif Network Security Center (NSC)

    No. 9,  Sadeghi Alley

    Beside Sharif University of Technology

    Tehran, Iran

    Phone: +98-21-66164020

    Academic Email: iranmanesh@ce.sharif.edu

If you know who you are and what you want and why you want it,

and if you have confidence in yourself and a strong will to obtain your desire,

and a very positive attitude,

you can make your life yours if you try :)

Research Interests:

      • Formal Methods
      • Applied Logic and Algebra
      • Security, mainly access control
      • Database Systems
      • Programming Languages

Educational Background:

• M. Sc. Student of Computer Software Engineering, Department of Computer Engineering, Sharif University of Technology, Tehran, Iran, since September 2006. (as a member of Sharif Network Security Center under supervision of Dr. Rasool. Jalili)

• B. Sc. in Computer Software Engineering, Department of Computer Engineering, Sharif University of Technology, Tehran, Iran, September 2006.

Teaching Assistantship:

• Systems' Analysis and Design Course, Department of Computer Engineering, Sharif University of Technology, Dr. Habibi, Fall 2006 and Spring 2007

Research Assistantship:

• Undergraduate Research Assistantship, Digital Media Lab (DML), Sharif University of Technology, Winter-Summer 2006

  • Advisor: Dr. Hamid R. Rabiee

  • Analysis of Nodes’ Mobility Models’ effect on the Performance of Secure

            Routing and Data Transmission Protocols in Mobile Ad Hoc Networks

   

• Graduate Research Assistantship, Network Security Center, Sharif University of Technology, Since Spring 2007

  • Advisor: Dr. Rasool Jalili

  • Logic-based Access Control

Publications:

• H. Akbari, Z. Iranmanesh, and M. Ghodsi, "A Parallel Minimum Spanning Tree Heuristic for the Steiner Problem in Graphs", The 13th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2007).

• Z. Iranmanesh, R. Piri, and H. Abolhassani, "An Approach for Semantic Web Query Approximation Based on Domain Knowledge and User Preferences" The 13th International CSI Computer Conference (CSICC'08).

• Z. Iranmanesh, M. Amini, and R. Jalili, "A Logic for Multi-Domain Authorization Considering Administrators" The EEE Workshop on Policies for Distributed Systems and Networks (IEEE POLICY 2008).

• M. Naderan, H. R. Rabiee, F. Saremi, and Z. Iranmanesh, "An Overlay Multicast Scheme for Mobile Ad hoc Networks", To be Prepared.

Thesis:

• B.Sc. Thesis: "Analysis of Nodes’ Mobility Models on the Performance of Secure Routing and Data Transmission Protocols in Mobile Ad Hoc Networks", under supervision of Dr. Rabiee, Summer 2006.

Presentation:

• "E-Learning progress in Iran", Sharif University of Technology, Spring 2003.

• "Introduction to Software Systems’ Analysis and Design tools", Sharif University of Technology, Spring 2006.

• "Semantic Web Reasoning", Sharif University of Technology, Spring 2007.

• "B Method Animation and its Related Tools", Sharif University of Technology, Spring 2007.

Courses:

• Fall 2006: Computer Networks Modeling & Analysis

• Fall 2006: Parallel Processing

• Fall 2006: Advanced Operating Systems

• Spring 2007: Database Security

• Spring 2007: Formal Program Development

• Spring 2007: Semantic Web

• Fall 2007: Advanced Database

• Fall 2007: Decision Support Systems