About Me

Who Am I?

Hi, I am Ehsan Khamespanah, an assistant professor in the school of electrical and computer engineering at University of Tehran. I am working on modeling and analysis of concurrent and distributed systems. My research interests in this domain include formal methods, software testing, cyber-physical systems. I am also working as a consultant in enterprise software architecture design, software development processes, and practical software testing.
I graduated from Ph.D. in a double-degree program in the school of electrical and computer engineering at Tehran University and the department of computer science at Reykjavik University in 2018. I obtained my M.Sc. in computer engineering from Amirkabir University of Technology in 2010 and my B.Sc. in computer engineering form Tehran University in 2007.

Formal Methods and Techniques

Research in applying formal methods for the modeling and analysis of mission critical systems

Software Architecture

Designing and implementing the architecture of industrial enterprise software systems.

SW Development Process

Customizing practices of software development processes for companies.

Performance Testing

Performance testing of software systems and tuning applications to improve their performance.

Papers
Projects
H-Index
Citations
Experiences

Work Experience

Enterprise Software Performance Testing and System Tuning (in Maxa Co. and as an independent consultant)
Sep. 2009, Now

  • Performance measurement of enterprise applications
  • Tools and processes of performance measurement
  • Software architecture analysis and recovery
  • Enterprise application tuning
  • Participation in the following projects:
    • Samen Ertebat Asr Co., Rayan Eghtesad Novin Co., and Hafiz Co.: Performance evaluation of core banking system
    • Datin Ariyan Gheshm Co. (Fanap): Performance evaluation and system tuning of Card Management System and Transaction Switch, Performance evaluation of its core banking system for reliable migration to a new infrastructure.
    • Iriana Consortium: Developing required infrastructure for the consortium’s Quality Assurance Lab
    • Amn-Afzar Gostar Sharif Co.: Performance evaluation and application tuning of certification authority (CA) solution to make it applicable for high-performance environment.
    • Resalat Bank and Ferdowsi Financial Institution: Consultant for choosing a core banking solution (performance evaluation, software architecture analysis, and security assessment)
    • Islamic Republic of Iran Customs Administration: Performance evaluation of a subsystem which mostly used by the end users as the agent of University of Tehran Takna Lab.
Education

Education

Ph.D. in Computer Science at Reykjavik University, Iceland (Jan. 2013 – Jun. 2018) in a double-degree program with Electrical and Computer Engineering faculty of University of Tehran.
Thesis: “Modeling, Verification, and Analysis of Timed Actor Systems”
Supervisor: Prof. Marjan Sirjani
Examiner: Tomas Henzinger: Professor, Institute of Science and Technology Austria
Committee:

  • Edward A. Lee: Robert S. Pepper Distinguished Professor Emeritus
  • University of California at Berkeley
  • Marcel Kyas: Assistant Professor, Reykjavik University
  • Ramtin Khosravi, Assistant Professor, University of Tehran
  • Fatemeh Ghassemi, Assistant Professor, University of Tehran

Ph.D. in Computer Engineering at University of Tehran, Iran (Sep. 2010 – Jan. 2017)
Major in Software Engineering
Thesis: "Modeling, Verification, and Analysis of Timed Actor Systems"
Supervisors: Dr. Ramtin Khosravi and Prof. Marjan Sirjani
Committee:

  • Ali Movaghar, Professor, Sharif University of Technology
  • Hassan Haghighi, Associate Professor, Shahid Beheshti University
  • Mehdi Kargahi, Associate Professor, University of Tehran
  • Fatemeh Ghassemi, Assistant Professor, University of Tehran

M.S. in Computer Engineering at Amirkabir University of Technology, Iran (Sep. 2007 – Jan. 2010)
Major in Software Engineering
Thesis: "Distributed Model Checking of Object Based Modeling Languages"
Supervisor: Prof. Mohammadreza Razzazi
Committee:

  • Ramtin Khosravi, Assistant Professor, University of Tehran
  • Mehran Soleiman Fallah, Associate Professor, Amirkabir University of Technology

B.Sc. in Computer Engineering at University of Tehran, Iran (Sep. 2001 – Sep. 2007)
Major in Software Engineering
Thesis: "Implementation of Model Checking Tool for Verification of SystemC Models"
Supervisor: Prof. Marjan Sirjani

Diploma in Mathematics, Physics and Chemistry (2001) From National Organization for Development of Exceptional Talents (NODET).

Get in Touch

Contact

Room 501, Bulding 2 of School of Electrical and Computer Engineering, College of Engineering, University of Tehran, Tehran, Iran