Difference between revisions of "Mohammad Reza Mousavi"
From CERES
| Line 44: | Line 44: | ||
== Courses == | == Courses == | ||
| − | * [[MACS PSI 2015|Modeling and Analysis of Communicating Systems (Tutorial at PSI Conference 2015]] | + | * [[PA 8001 Ed 2014|Embedded Systems Programming (Fall 2015)]] ([[PA 8001 Ed 2014|2014 Edition ]] [[PA 8001 Ed 2013|2013 Edition]]) |
| + | * [[MACS PSI 2015|Modeling and Analysis of Communicating Systems (Tutorial at PSI Conference 2015)]] | ||
* [[DT8021 Ed 2015|Testing and Verification of Embedded Systems]] (Spring 2015) | * [[DT8021 Ed 2015|Testing and Verification of Embedded Systems]] (Spring 2015) | ||
* [[DIT085|Testing and Verification at Chalmers / GU]] (Spring 2015) | * [[DIT085|Testing and Verification at Chalmers / GU]] (Spring 2015) | ||
* [[MACS Ed 2014|Modeling and Analysis of Communicating Systems]] (Ph.D. Course) | * [[MACS Ed 2014|Modeling and Analysis of Communicating Systems]] (Ph.D. Course) | ||
| − | |||
* [[How to Referee Scientific Papers]] (Ph.D. Course) | * [[How to Referee Scientific Papers]] (Ph.D. Course) | ||
* [[Mohammad Mousavi's Past Courses|Past Courses]] | * [[Mohammad Mousavi's Past Courses|Past Courses]] | ||
Revision as of 13:47, 6 September 2015
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
- Embedded Systems Programming (Fall 2015) (2014 Edition 2013 Edition)
- Modeling and Analysis of Communicating Systems (Tutorial at PSI Conference 2015)
- Testing and Verification of Embedded Systems (Spring 2015)
- Testing and Verification at Chalmers / GU (Spring 2015)
- Modeling and Analysis of Communicating Systems (Ph.D. Course)
- How to Referee Scientific Papers (Ph.D. Course)
- Past 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)
