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.

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

• Publications   DBLP   Erdos#
• Courses
• Please submit to: ACSD 2010   COORDINATION 2010   FOCLASA 2010.
  Please attend: ACM SAC-SVT'10
  Other events
• Projects
• SOS bibliography
• Other links, interests.