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 dot r dot mousavi attt tue dot nl
(you know what changes to make, if you are not a computer)
Office phone: +31-40-247-2993

In the past, I held positions with ICE-TCS at Reykjavik U. and Dept. of Electrical Engineering at TU/e.

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., Modeling Aspects such as Timing, Coordination, Security and Scheduling)
  • Models of Computation for Embedded Systems
    (e.g., Dataflow Models, Synchronous Languages)

Created: 24 Oct. 2001
Last modified: 5 Mar. 2008

Valid XHTML 1.1