Chinese
English
Associate Research Fellow  |  Chen, Yu-Fang  
 
contact
vita
education
interests
activities
invited_talk
invited_visit
honors
publications
others
Personal (New window)
 
 
 
 
 
Vita
 
yfc

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.

 
 
bg