Associate Professor, Computer Science

Address: MF 7.71, 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)
Phone: +31-40-247-2993

One day per week at:

Embedded Software Group,
Faculty of Electrical Engineering, Mathematics, and Computer Science (EWI),
Delft University of Technology

Office: HB 09.160, Phone: +31-15-278 2538

Past Affiliations

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., Formal Specification, Model Checking and Model-Based Testing)
• Models of Computation for Embedded Systems
  (e.g., Dataflow Models and Synchronous Languages)

An accessible summary of my research interests:

• Towards a mature engineering discipline

• Publications   DBLP  
• Courses, Admin
• Events, Service
• Projects
• SOS bibliography