ContactEducationResearch InterestsLaboratory
  • Professor
  • PhD in Computer Information and Control Engineering.
  • University of Michigan, Ann Arbor, USA.
  • 1985
  • Formal Methods
  • Verification and Validation
  • Computer Systems and Networks
  • Performance and Dependability Modeling
  • Performance and Dependability Lab
  • Room 815
  • Phone No.  +9821 6616 6678