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.

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

• 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)

• Publications   DBLP   Erdos#
• Teachings
• Submit workshop proposals to: ICALP 2008, Events
• Links
• Projects: Betsy (2004-2007) SACC (2001-2005)