Assistant Professor, Computer Science

Address @CS: 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 (@CS: Mon., Thu. and Fri.): +31-40-247-2993

Note: As of September 2006 for about 6 months, I will be at ICE-TCS, Reykjavik University, Iceland. I will keep on reading my email @ TU/e. 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 to: SOS 2007, Attend: FSEN 2007
• Links
• Projects: Betsy (2004-2007) SACC (2001-2005)