Fatemeh Ghassemi Esfahani

Fatemeh Ghassemi Esfahani

PhD

Educational Background :
	Dec. 2005 - Apr. 2011: Ph.D. in Computer Software Engineering, Department of Computer Engineering, Sharif University of Technology. Supervisor: Prof.Ali Movaghar Rahimabadi together with Prof. Wan Fokkink Thesis title: Formal Analysis of Mobile Ad hoc Network using Process Algebra.
	Sept. 2004 - Nov. 2005: M.Sc. Degree in Computer Engineering (Software), Faculty of Engineering, Isfahan University. Supervisor: Dr. Nasser Nemat-Bakhsh, Dr. Behrouz Tork Ladani, and Dr. Marjan Sirjani Thesis title: Analysis and Design of Multi Agent Systems Using the Coordination Language Reo
	Sept. 2004 : B.Sc. Degree in Computer Engineering (Software), Electronic and Computer Engineering Department, Tehran University. Supervisor: Dr. Marjan Sirjani Thesis title: A Tool for Converting Reo Circuits to Constraint Automat.
	June 2000. High School Diploma in Mathematics and Physics. Exceptional Talent High School (Farzanegan Amin), Isfahan.

Research Interest:
Specification and verification, Process algebra and equational reasoning, Formal verification of ad hoc protocols, Coordination models, Performance evaluation, Refinement calculus.

Publications:
[1] F. Ghassemi, N. Nemat-Bakhsh, B. T. Ladani and M. Sirjani, A Formal Model for Organization of Multi-agent Systems, In Proc. the Symposium on Information Technology Development, Iran, 2005. [2] F. Ghassemi, N. Nemat-Bakhsh, B. T. Ladani and M. Sirjani, Specification and Implementation of Multi-Agent Organizations, In Proc. 2nd International Conference on Web Information Systems and Technologies, pp. 447-453, Portugal, 2006. [3] F. Ghassemi, N. Nemat-Bakhsh, B. T. Ladani and M. Sirjani, A Formal Model for Coordination Behavior of the Organization in Multi Agent Systems, In Proc. 2nd International Conference on Information & Communication Technologies: from Theory to Applications, Syria, IEEE,2006. [4] F. Ghassemi, S. Tasharofi and M. Sirjani, Automated Mapping of Reo to Constraint Automata, In Proc. the first International Conference on Fundamental of Software Engineering (FSEN'05), pp. 99-115, Iran, Vol. 159 of ENTCS, Elsevier, 2006. [5] A. Shamsaie, J. Habibi and F. Ghassemi, Tierpeer: A Three-Tier Framework for P2P Applications, International Journal of Computer Science and Network Security, Vol. 7, No. 2, pp. 292-301, 2007. [6] F. Ghassemi and A. Movaghar, Modeling Routing Protocols in Adhoc Networks, In Proc. of 13th International Computer Conference of CSI (CSICC'08), Vol. 6, pp. 419-426, Springer, 2008. [7] A. Ghassempouri, F. Ghassemi, and A. Movaghar, A New Tool for Model Checking of Probabilistic Constraint Automata, In Proc. 13th International Computer Conference of CSI (CSICC'08), 2008 (In Persian). [8] F. Ghassemi, W.J. Fokkink and A. Movaghar, Restricted Broadcast Process Theory, In Proc. 6th Conference on Software Engineering and Formal Methods (SEFM'08), pp. 345-354, IEEE, Cape Town, 2008. [9] F. Ghassemi, W.J. Fokkink and A. Movaghar, Equational Reasoning on Ad hoc Networks, In Proc. 3rd Conference on Fundamentals of Software Engineering (FSEN'09), Vol. 5961 of LNCS, pp. 113-128, Springer, 2009. [10] F.Ghassemi, A. Movaghar and W.J. Fokkink, Towards Performance Evaluation of Mobile Ad Hoc Network Protocols, In Proc. 10th International Conference on Application of Concurrency to System Design (ACSD'10), pp. 85-92, IEEE Computer Society Press, Portogual, 2010. [11] F. Ghassemi, W.J. Fokkink and A. Movaghar, Equational reasoning on mobile ad hoc networks, Fundamenta Informaticae, Vol. 103, No. 1, pp.1-41, 2010. [12] F. Ghassemi, W.J. Fokkink and A. Movaghar, Verification of mobile ad hoc networks: An algebraic approach, Theoretical Computer Science, To appear (full version). [13] F. Ghassemi, M. Talebi, A. Movaghar and W.J. Fokkink, Stochastic Restricted Broadcast Process Theory, In Proc. 8th European Performance Engineering Workshop (EPEW'11), Vol. 6977 of LNCS, pp.72-86, Springer, 2011.

Technical Reports:
[1] F. Ghassemi and R. Ramsin, A Generic Agile Lifecycle, Sharif University of Technology, 2007. [2] F. Ghassemi, W.J. Fokkink and A. Movaghar, Symbolic Verification of Uniform Mobile Ad Hoc Networks, Sharif University of Technology, 2010.

Teaching Experience:
	Assistant (Fall 2002): Data Structure Tehran University.
	Assistant (Spring 2004): System Analysis and Design, Tehran University.
	Assistant (Fall 2005): Teaching Java, Isfahan University.
	(Spring 2006): Designing Compiler, Tehran University.
	(Fall 2007) : Fundamental Programming, Sharif University of Technology
	Assistant (Spring 2008) : Performance Evaluation, Sharif University of Technology
	Assistant (Fall 2008): Reactive Systems Verification, Sharif University of Technology.
	Assistant (Spring 2010): Reactive Systems Verification, Sharif University of Technology.
	(Spring 2011): Design and Implementation of Compiler, Tehran University.

To contact:
Room #815, Computer Engineering Department, Sharif University of Technology, P.O. Box 11155-9517, Azadi Ave., Tehran, Iran 1998717869
Phone: +98 21 6616 6687 E-mail: f g h a s s e m i[AT]alum.sharif.edu	Revised: 08/31/11

Revised: 08/31/11