Edit CreatePerson: Mohammad Reza Mousavi

Free text:

{{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]]

Summary:

This is a minor edit Watch this page

Cancel