I am a tenured assistant professor in the Computer Architecture and Embedded Systems (CAES) group at the University of Twente (NL). Currently, I serve as an Associate Editor for the AIMS Applied Computing and Intelligence journal and Guest Editor for ACM Transaction on Cyber-Physical Systems and the Journal of Signal Processing Systems.

My research interest is very broad, i.e., from algorithm down to compilation. Particularly, I like to develop architecture-aware software automation and bridge the gap between theory and practice in real-time system software. In my free time, I am also a mentor in Google Summer of Code for RTEMS since 2016.

  • Real-Time Embedded Systems
  • Non-Volatile Memories
  • Software Automation
  • Dependable Computing
  • Cyber-Physical Systems
  • PhD in Computer Science (Dr.-Ing., with the highest distinction "summa cum laude"), 2019

    TU Dortmund University, Germany

  • MSc in Computer Science, 2013

    National Tsing-Hua Uni­ver­sity in Taiwan

  • BA in Computer Science (Minor) / Humanities and Social Sciences (Major), 2011

    National Tsing Hua Uni­ver­sity in Taiwan


My journey in Europe

Assistant Professor (Tenured)
Sep 2021 – Present Enschede, The Netherlands
Postdoctoral Researcher
Jun 2019 – Aug 2021 Dortmund, Germany
Research Associate
Mar 2014 – May 2019 Dortmund, Germany
Research Associate
Micro Hardware Technologies for Automation, Karlsruhe Institute of Technology (KIT)
Mar 2013 – Feb 2014 Karlsruhe, Germany

Honors / Awards

Dutch Real-Time Systems
We aim at creating a sustainable community on real-time systems in NL to combine its research forces, stimulate collaborations cohesively, and favor its outreach internationally.
Promotion by ACM SIGDA on “Who’s who”
Multimedia (A/V) Chair
JSPS Postdoctoral Fellowship Summer Programme
Nomination of Best Paper Award for “Margin-Maximization in Binarized Neural Networks for Optimizing Bit Error Tolerance”
P5 -Project Group Practice Award
Dissertation Award for Optimization and Analysis for Dependable Application Software on Unreliable Hardware Platforms
SIGDA Student Travel Grant
Best Student Paper Award for “Analysis of Deadline Miss Rates for Uniprocessor Fixed-Priority Scheduling”
SIGBED Student Travel Grant

Recent Posts

Recent Publications

Quickly discover relevant content by filtering publications.
(2022). Memory Carousel: LLVM-Based Bitwise Wear-Leveling for Non-Volatile Main Memory. TCAD.

(2022). Critical Instant for Probabilistic Timing Guarantees: Refuted and Revisited. IEEE Real-Time Systems Symposium (RTSS).

(2022). Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS. TCAD, presented in EMSOFT'22.


(2022). EDF-Like Scheduling for Self-Suspending Real-Time Tasks. IEEE Real-Time Systems Symposium (RTSS).

(2022). Racetrack Memory Optimized Linear Layout and Efficient Decomposition of Decision Trees. IEEE Transactions on Computers (TC).