Deild:  


Marjan Sirjani, Professor

School:School of Technology / Department of Computer Science 
Phone: 
Email:marjanru.is 
Website:http://www.ru.is/starfsfolk/marjan
www.ru.is/faculty/marjan

Curriculum Vitae

http://www.ru.is/faculty/marjan/CV/MarjanSirjaniCV.pdf 


Education

2004 Sharif University of Technology, Tehran, Iran, Ph.D. Computer Engineering

1994 Sharif University of Technology, Tehran, Iran, MSc. Computer Engineering

1989 Shahid Beheshti University, Tehran, Iran, BSc. Computer Engineering


Career

See http://www.ru.is/kennarar/marjan/

RU teaching record

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 Tehran

1999 - 2001 Software Engineering Laboratory, Computer Engineering Dept., Sharif University of Technology

1994 - 1998 Software Engineering, Computer Science Dept., Shahid Beheshti University

1997 Software Engineering, Electrical and Computer Engineering Dept., University of Tehran

1997 Software Engineering, Computer Engineering Dept., Amir Kabir University of Technology

1992 - 1997 Introduction to Computer Science, Computer Engineering Dept., Sharif University of Technology


Research

Fields of Interest:
Software Engineering, Formal Methods, Self-adaptive systems, Cyber-physical systems, Component-Based Modelling, Formal Verification, Abstraction and
Compositional Verification, Applying Formal Methods in System Design


See more on my Research Lab. Homepages:
http://www.rebeca-lang.org/

http://labs.ru.is/rose/

and

http://www.ru.is/kennarar/marjan/

 

 

 


Honours and grants

See http://www.ru.is/faculty/marjan/CV/MarjanSirjaniCV.pdf 


Services

See http://www.ru.is/kennarar/marjan/

 


Publications

 See http://www.ru.is/kennarar/marjan/

 

 

 

 


Other websites

ROSE research Lab. at School of Computer Science, Reykjavik University:
http://labs.ru.is/rose/

Rebeca Homepage:
http://www.rebeca-lang.org/

Reo Homepage at CWI:
reo.project.cwi.nl/