In 2008, Yu-Fang Chen finished his Ph.D. study at the National Taiwan University and wrote his doctoral thesis on the topic of the automation of compositional verification using automata learning algorithms. In 2009, he worked as a postdoc researcher at Uppsala University, Sweden. Since 2014, Dr. Chen works as an associate research fellow at the Institute of Information Science, Academia Sinica, Taiwan. He was an assistant research fellow at the same institute from 2009 to 2014. 

His current research focus includes (1) applications of formal methods in MapReduce programs and (2) synthesis and analysis models of programs/systems using machine learning. He regularly publishes at conferences such as CAV and TACAS.His paper titled "When simulation meets antichains (for checking language inclusion of NFA''s)" won the best theory paper award at ETAPS 2010. (This page is not frequently updated. Please visit http://www.iis.sinica.edu.tw/~yfc for more recent information.)