Curriculum Vitae
Education
2004 Sharif University of Technology, Tehran, Iran, Ph.D. Computer Engineering1994 Sharif University of Technology, Tehran, Iran, MSc. Computer Engineering1989 Shahid Beheshti University, Tehran, Iran, BSc. Computer Engineering |
Career
2008- Assistant Professor, School of Computer Science, Reykjavik University, Reykjavik, Iceland.2004 - Assistant Professor, School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran.2005 - 2008 Head of Software Engineering Department, School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran.1998 - 2004 Lecturer, School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran.2004 - 2008 Senior Researcher, School of Computer Science, Institute for Studies in Theoretical Physics and Mathematics (IPM), Tehran, Iran.2004 - Leader of Formal Methods Lab., School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran.2003 Post-Doc Position, CWI, Amsterdam, The Netherlands.
1989 - 2002 Managing Director of Behin-System Computer Services Company, Tehran. |
RU teaching record
2010-1 |
T-730-ASEN |
Advanced Software Engineering |
2010-1 |
T-631-SOE2 |
Software Engineering II |
2009-3 |
T-701-REME |
Research Methodology |
2009-1 |
T-730-ASEN |
Advanced Software Engineering |
2009-1 |
T-623-MOVE |
Modeling and Verification |
2009-1 |
T-631-SOE2 |
Software Engineering II |
More... |
|
|
Teaching outside RU
2005 - 2008 Modeling and Verification of Concurrent Systems (graduate level), Electrical and Computer Engineering Dept., University of Tehran
http://ece.ut.ac.ir/Classpages/S86/ECE658/2006 - 2008 Advanced Software Engineering (graduate level), Electrical and Computer Engineering Dept., University of Tehran
http://ece.ut.ac.ir/Classpages/F86/ECE649/1998 - 2008 System Analysis and Design, Electrical and Computer Engineering Dept., University of Tehran http://ece.ut.ac.ir/classpages/S85/SystemAnalysis/1998 - 2008 Programming Languages Analysis and Design, Electrical and Computer Engineering Dept., University of Tehran
http://ece.ut.ac.ir/Classpages/S86/ECE460/1999 - 2000 Object Oriented Analysis and Design, Electrical and Computer Engineering Dept., University of Tehran1999 - 2001 Software Engineering Laboratory, Computer Engineering Dept., Sharif University of Technology1994 - 1998 Software Engineering, Computer Science Dept., Shahid Beheshti University1997 Software Engineering, Electrical and Computer Engineering Dept., University of Tehran1997 Software Engineering, Computer Engineering Dept., Amir Kabir University of Technology1992 - 1997 Introduction to Computer Science, Computer Engineering Dept., Sharif University of Technology
|
Research
Honours and grants
Services
Editorial work:
Foclasa08 Proceedings, Elsevier ENTCS 229, Issue 2, (2009)
Special issue in Fundamenta Informaticae (FI): Behavior of Composed Concurrent Systems: Logic and Reasoning, FI 82(4) (2008)
Special issue in Journal of Universal Computing (J.UCS): Applications of Formal Methods to System Design and Verification, J.UCS 13(13) (2007)
FSEN07 Proceedings, LNCS 4767 (2007)
FSEN05 Proceedings: Elsevier ENTCS 159 (2006)
Conference organization:
PC member of Coordination’10
PC member of ICTAC’09
PC member of FACS’09
PC member of FM’09
PC Chair of FOCLASA’09
PC Chair of FSEN’09
PC Chair of FOCLASA’08
PC Chair of FSEN’07
PC member of ICFEM’07
PC member of WS-FM’06
PC Chair of FSEN’05
PC member of CSICC’05Organizing IPM-UNU Winter School on Foundations and Trends in Computer Science, Feb. 2008. http://cs.ipm.ac.ir/ftcs08/Organizing the IPM-UT workshop on Processes: from Theory to Practice, July 2006. http://khorshid.ece.ut.ac.ir/~acm/process/Organizing the workshop on Formal Models for Reasoning about Objects & Component Composition, Feb. 2004.Responsible for International Relationships, 9th International CSI Computer Conference (CSICC’04), Sharif University of Technology, Tehran, Iran, February 2004.Registration Chair for the Tehran site, Asia Region in ACM Regional Programming Contest, August-November 1999. |
|
علاقه مندی ها (Bookmarks)