I am a postdoctoral researcher at the Max Planck Institute for Software Systems in Kaiserslautern, Germany.
I am part of the Automated Reasoning Group headed by Prof. Anthony Lin.
I obtained my
(1) PhD degree in Computer Science from National Taiwan University, where I was supervised by Prof. Hsu-Chun Yen;
(2) Master degree in Physics from National Chung Hsing University, where I was supervised by Prof. Sy-Sang Liaw; and
(3) Bachelor degree in Mathematics from National Cheng Kung University.