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

        Yu-Fang Chen received a M.S. and a Ph.D. in information management from National Taiwan University. During his early PhD years, he developed a tool named GOAL (Graphical Tool for Omega-Automata and Logics) jointly with Prof. Yih-Kuen Tsay in NTU and other group members. This tool has been published in TACAS 2007 and 2008, which is one of the best conferences in the field of formal verification. Starting from 2007, he participated in a project referred to as the iCAST (International Collaboration for Advancing Security Technology) between Carnegie Mellon University, UC Berkeley, and several organizations in Taiwan. Because of the project, He has spent accumulatively more than a year as a visiting student at CMU under supervision of Prof. Edmund Clarke (Recipient of the 2007 A.M Turing Award). The main focus is automated compositional verification, which is a technique that is particularly useful in verifying modularized systems. They made several important breakthroughs to this technique, including that they solved a problem which was previously opened for 20 years. He finished his Ph.D. in 2009. During 2009/5~2009/10, he works in Uppsala University, Sweden, as a postdoc researcher. He is now an assistant research fellow in the Institute of Information Science, Academia Sinica.

 
 
bg