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

My research interest is very broad, i.e., from algorithm down to compilation. Particularly, I focus on hardware-software co-design 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 System Software
  • Non-Volatile Memories
  • Software Automation
  • Dependable Computing
  • 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.
(2023). Scheduling Periodic Segmented Self-Suspending Tasks without Timing Anomalies. RTAS'23.

(2023). Average Task Execution Time Minimization under (m,k) Soft-Error Constraint. RTAS'23.

(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.