Mohammad Reza Mousavi

Mohammad Reza Mousavi

Mohammad Reza Mousavi, Professor, Ph.D.

Family Name: Mousavi
Given Name: Mohammad Reza
Role: Professor
Title: Ph.D.
Subject: 
Organization: Center for Research on Embedded Systems
Email: m.r.mousavi@hh.se
url: http://ceres.hh.se/mediawiki/index.php/Mohammad_Mousavi
Phone: +46-35-167122
Cell Phone: 

I have moved to the University of Leicester, UK. Please visit my official home page there.

Research Interests

• Model-Based Testing and Verification
• Structural Operational Semantics
• Process Algebra

Publications

Modeling and Analysis of Communicating Systems, MIT Press, 2014

• Publication List
• Publications in DBLP
• Google Scholar Profile

Courses

• Testing and Verification at GU / Chalmers (Spring 2017, Edition 2016 Edition 2015)
• Testing and Verification of Embedded Systems (Spring 2016, Edition 2015)
• Embedded Systems Programming (Fall 2015) (Edition 2014 Edition 2013)
• Modeling and Analysis of Communicating Systems (Tutorial at PSI Conference 2015)
• Modeling and Analysis of Communicating Systems (Ph.D. Course)
• How to Referee Scientific Papers (Ph.D. Course)
• Past Courses

Service

• Program Committees / Invited Talks
• Editorships
• Professional Associations

Past Affiliations

• Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands. (Associate Professor 2013, Tenured 2008, Assistant Professor 2005-2012)
• Embedded Software Group, Faculty of Electrical Engineering, Mathematics, and Computer Science, Delft University of Technology, Delft, The Netherlands. (Visiting Faculty 2010-2013)
• Icelandic Center of Excellence for Theoretical Computer Science, Reykjavik University, Reykjavik, Iceland. (Postdoctoral Researcher 2006-2007)
• Department of Electrical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands. (Assistant Professor 2005-2006)