Difference between revisions of "Mohammad Reza Mousavi"
From CERES
| (22 intermediate revisions by 2 users not shown) | |||
| Line 7: | Line 7: | ||
|Email=m.r.mousavi@hh.se | |Email=m.r.mousavi@hh.se | ||
|Image=Mousavi.jpg | |Image=Mousavi.jpg | ||
| + | |Street Address=Faculty of IT, Halmstad University, P.O. Box 823, Halmstad 301 18, Sweden | ||
|Office=E 305 | |Office=E 305 | ||
|Affiliation=Center for Research on Embedded Systems | |Affiliation=Center for Research on Embedded Systems | ||
| Line 26: | Line 27: | ||
{{ShowPerson}} | {{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 Interests == | ||
| Line 35: | Line 38: | ||
== Publications == | == Publications == | ||
| − | [[File:maaocs.jpg|200px|thumb|super|Modeling and Analysis of Communicating Systems, MIT Press, 2014]] | + | [[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 Mousavi | + | * [[Mohammad Reza Mousavi: Publications | Publication List]] |
* [http://www.informatik.uni-trier.de/~ley/pers/hd/m/Mousavi:Mohammad_Reza.html Publications in DBLP] | * [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] | * [http://scholar.google.se/citations?user=KtpGCS4AAAAJ Google Scholar Profile] | ||
| Line 43: | Line 46: | ||
== Courses == | == 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) | * [[How to Referee Scientific Papers]] (Ph.D. Course) | ||
| − | |||
* [[Mohammad Mousavi's Past Courses|Past Courses]] | * [[Mohammad Mousavi's Past Courses|Past Courses]] | ||
| Line 50: | Line 57: | ||
* [[Mohammad Mousavi's Conferences | Program Committees / Invited Talks]] | * [[Mohammad Mousavi's Conferences | Program Committees / Invited Talks]] | ||
| − | * [[Mohammad Mousavi's Journals | | + | * [[Mohammad Mousavi's Journals | Editorships]] |
* [[Mohammad Mousavi's Associations | Professional Associations]] | * [[Mohammad Mousavi's Associations | Professional Associations]] | ||
Latest revision as of 14:56, 20 May 2019
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
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
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)
