Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
SMR. Mousavi: Welcome to my page
[go: Go Back, main page]

bism.gif

Seyyed MohammadReza Mousavi

Assistant Professor, Computer Science

Address: HG 6.79, Dept. of Mathematics and Computer Science
Eindhoven University of Technology
P.O. Box 513, 5600MB, Eindhoven
The Netherlands

Email: m.r.mousavi at tue.nl
Office phone: +31-40-247-2993

I also hold an affiliation with ICE-TCS, Reykjavik University, Iceland. My contact info @Iceland.

Barbas and I

Guess which one is me!
Home page of the other fellows.


Research Interests:
  • Formal Semantics and Concurrency Theory
    (e.g., Structural Operational Semantics and Process Algebras)
  • Applications of Formal Methods in System Design
    (e.g., Separation of Concerns, Modeling Aspects such as Coordination, Security and Scheduling)
  • Models of Computation for Embedded Systems
    (e.g., Dataflow Models, Synchronous Languages)

Created: 24 Oct. 2001
Last modified: 14 Feb. 2007

Valid XHTML 1.1