Mehdi Seyed Salehi
M.Sc. in Software Engineering
Computer Engineering Department
Sharif University of Technology
I am Mehdi Seyed Salehi (in Persian مهدی سیدصالحی). I am an M.Sc. graduate from Computer Engineering Department, Sharif University of Technology. I work at Performance and Dependability Lab under the supervision of Prof. Ali Movaghar.
My research focus is on systems modeling and verification. Currently, I am working on the modeling and verification of timed systems.
You can download my CV here.
This page is out-of-date and no longer updated.