ContactEducationResearch InterestsLaboratory
  • Professor
  • PhD in Computer Information and Control Engineering.
  • University of Michigan, Ann Arbor, USA.
  • 1985
  • Performance and Dependability Modeling
  • Formal Verification
  • Cyber-Physical Systems
  • Distributed Real-Time Systems
  • Performance and Dependability Lab
  • Room 815
  • Phone No.  +9821 6616 6678