View source for Mohammad Reza Mousavi

{{Person
|Family Name=Mousavi
|Given Name=Mohammad Reza
|Title=Ph.D.
|Phone=+46 35 167122
|Position=Professor
|Email=m.r.mousavi@hh.se
|Image=Mousavi.jpg
|Street Address=Faculty of IT,  Halmstad University,  P.O. Box 823, Halmstad 301 18,  Sweden
|Office=E 305
|Affiliation=Center for Research on Embedded Systems
|url=http://ceres.hh.se/mediawiki/index.php/Mohammad_Mousavi
|position=Professor
|head_image=Mousavi.jpg
|givenname=Mohammadreza
|surname=Mousavi
|ptitle=Professor of Computer Systems Engineering
|office=E 305
|phonenr=+46 35 167122
|email=m.r.mousavi@hh.se
}}
{{AssignSubjectAreas
|SubjectArea=Computer Engineering
}}
<!--Remove or add comments -->
__NOTOC__

{{ShowPerson}}

'''I have moved to the University of Leicester, UK.''' Please visit my official [https://www2.le.ac.uk/departments/informatics/people/mohammad-mousavi/mohammad-mousavis-homepage home page there]. 

== Research Interests ==

* [[Research in Model-Based Testing and Verification | Model-Based Testing and Verification]]
* [[Research in Structural Operational Semantics | Structural Operational Semantics]]
* Process Algebra

== Publications ==

[[File:maaocs.jpg|200px|thumb|super|[http://mitpress.mit.edu/books/modeling-and-analysis-communicating-systems Modeling and Analysis of Communicating Systems, MIT Press, 2014] ]]

* [[Mohammad Reza Mousavi: Publications | Publication List]] 
* [http://www.informatik.uni-trier.de/~ley/pers/hd/m/Mousavi:Mohammad_Reza.html Publications in DBLP]
* [http://scholar.google.se/citations?user=KtpGCS4AAAAJ Google Scholar Profile]

== Courses ==

* [http://bit.ly/TAV2017 Testing and Verification at  GU / Chalmers] (Spring 2017, [[DIT085 Ed 2016|Edition 2016]]  [[DIT085|Edition 2015]]) 
* [[DT8021 Ed 2016|Testing and Verification of Embedded Systems]] (Spring 2016, [[DT8021 Ed 2015|Edition 2015]])  
* [[PA 8001 Ed 2015|Embedded Systems Programming (Fall 2015)]] ([[PA 8001 Ed 2014|Edition 2014]] [[PA 8001 Ed 2013|Edition 2013]])
* [[MACS PSI 2015|Modeling and Analysis of Communicating Systems (Tutorial at PSI Conference 2015)]] 
* [[MACS Ed 2014|Modeling and Analysis of Communicating Systems]] (Ph.D. Course)
* [[How to Referee Scientific Papers]] (Ph.D. Course)
* [[Mohammad Mousavi's Past Courses|Past Courses]]

== Service ==

* [[Mohammad Mousavi's Conferences | Program Committees / Invited Talks]] 
* [[Mohammad Mousavi's Journals | Editorships]]
* [[Mohammad Mousavi's Associations | 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)

<!--{{PublicationsList}}-->
[[Category:staff]]