Personal Information
YU-FANG CHEN
Ph.D. National Taiwan University
Master National Taiwan University
Bachelor National Taiwan University
Office :
Tel :
Fax :
Office Hour :
Home Page :
Related Link :
Research Field
• automata theory
• model checking
• Software verification
Research Field Summary
Software verification, model checking, automata theory, computational learning theory, logic
in computer science
Education
• National Taiwan University
• National Taiwan University
• National Taiwan University
Courses
• Algorithm
Honors
The EATCS (European Association for Theoretical Computer Science) award for best theoretical
paper at ETAPS 2010, Cyprus
 The 3rd place in the software verification competition (SVComp) 2015 (category: recursive
program)
 The 1st place in the software verification competition (SVComp) 2017 (category: program
termination)
Experience
 Co-Chair, the 17th International Symposium on Automated Technology for Verification
and Analysis (ATVA) 2019.
 PC Member, the 25th International Conference on Tools and Algorithms for the Construction
and Analysis of Systems (TACAS) 2019.
 PC Member, the 29th International Conference on Concurrency Theory (CONCUR) 2018.
 PC Member, the 7th Workshop on Synthesis (SYNT) 2018.
 PC Member, the 12th International Conference on Verification and Evaluation of Computer
and Communication Systems (VECoS) 2018.
 PC Member, Formal Methods For ML-Enabled Autonomous Systems (FOMLAS) 2018, a
satellite workshop of ETAPS 2018.
 PC Member, the 3nd Young ResearchersWorkshop on Formal Methods (SETTA-YR) 2017.
 PC Member, the 15th Asian Symposium on Programming Languages and Systems (APLAS)
2017.
 PC Member, the 2nd Young ResearchersWorkshop on Formal Methods (SETTA-YR) 2015.
 PC Member, the 13th International Colloquium on Theoretical Aspects of Computing
(ICTAC) 2016.
 PC Member, the 19th International Symposium on Formal Methods (FM) 2014.
 PC Member, the 11th Asian Symposium on Programming Languages and Systems (APLAS)
2013.
 PC Member, the 14th International Workshop on Verification of Infinite-State Systems
(INFINITY) 2012.
 PC Member, the 18th International Symposium on Formal Methods (FM) 2012.
 PC Member, the 13th International Workshop on Verification of Infinite-State Systems
(INFINITY) 2011.
 Co-chair, the 12th International Workshop on Verification of Infinite-State Systems (INFINITY)
2010.
 External reviewer for a number of conferences and journals, including TCS, IEEE Transaction
on Software Engineering, STACS, CAV, LICS, TACAS, ICALP, FM, SAS, AAAI,
CONCUR, ATVA, FACS, FOSSACSS, ICFEM, SPIN, TASE
Conference Paper
No Data Available
Journal Paper
No Data Available
Book
No Data Available
Book Paper
No Data Available
Technical Report
No Data Available
Other
No Data Available