Difference between revisions of "Mohammad Reza Mousavi"
From CERES
(Created page with "{{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 |Office=E 305 |Affili...") |
|||
| Line 34: | Line 34: | ||
== Publications == | == Publications == | ||
| + | |||
| + | [[File:maaocs.jpg|200px|thumb|super|Modeling and Analysis of Concurrent Systems, MIT Press, 2014]] | ||
* [[Mohammad Mousavi's Publications | Publication List]] | * [[Mohammad Mousavi's Publications | Publication List]] | ||
Revision as of 02:27, 7 July 2014
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:
Research Interests
- Model-Based Testing and Verification
- Structural Operational Semantics
- Process Algebra
Publications
Courses
Service
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)
