• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus

Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile


  • 2014 PhD, Graduate Institute of Electronics Engineering, National Taiwan University

Research Interests

  • Formal Methods
  • Formal Verification of Safety/Security Critical Systems
  • Model Checking
  • SoC Verification


  • 2002/07~2003/09 Assistant Engineer, Industrial Technology Research Institute
  • 2014/05~2015/01 Senior Engineer, MediaTek Inc.
  • 2015/05~2016/07 Lead Application Engineer, Cadence Design Systems, Inc.
  • 2016/08~present Assistant Professor, Department of Electrical Engineering, National Cheng Kung University


Dive into the research topics where Yean-Ru Chen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles


Recent external collaboration on country/territory level. Dive into details by clicking on the dots or