Babamir,

Seyed Morteza

Associate Professor

Description: D:\MyDocuments\MyHome\picture.jpg

Department of Computer Engineering

at The University of Kashan

 Office:

 Department of Computer Engineering

 Faculty of Engineering,

 University of Kashan,

 Kashan, P.O.BOX: 87317-51167, Iran

 Phone(Office): (+98)-361-5912469

 Fax: (+98)-361-555-2930

 Email:

  babamir- a-t - kashanu d-o-t ac d-o-t ir

Vitae:

PhD in Software Engineering, T.M.U University

Thesis: A Model for Software Run-time Verification

ME in Software Engineering, T.M.U University

Thesis: Design and Prototyping an Integrated Environment for Software Development Based on Web

BS in Software Engineering, Ferdowsi University of Mashad

Thesis: Census System Development of Sizable Workshops of Khorazan Province

Teaching:

Formal Methods in Problem Solving

2005-2007

2009-2015

Advanced Operating Systems (MS)

Reliable Software Design (MS)

Advanced Software Engineering(MS)

Programming Languages

2004- 2015

Concurrent Programming

2009

Software Engineering(1)

2004-2015

Software Engineering(2)

2004-2015

Advanced Programming

2000-2015

Distributed Systems

2005, 2015

DOS

Software Project Management

2008

Research & Interests:                                                                                             Projects

Software Monitoring and Verification                                                                       ●Safety and Fault Tolerance Verification of Safety-Critical Systems

Safety-Critical and Fault Tolerant Systems (CIIP)                                                        (supported by Iran Telecommunication of Research Center)

Real-time, Reactive and Distributed Systems                                                            ● Identification of Environmental Contaminants by Expert Systems

Object & Aspect Oriented                                                                                           (supported by University of Kashan)

Development of Education and Registration System of University of Kashan         Timed Automata   

 Development of Payroll System of University of Kashan

● Development of Personnel Working System of University of Kashan

Publications,

google-scholar-page,

dblp-page,

researchgate-page