conf.researchr.org / Yu-Fang Chen
Registered user since Sat 11 Jul 2015
Name:Yu-Fang Chen
Country:Taiwan
Affiliation:Academia Sinica
Personal website: http://www.iis.sinica.edu.tw/~yfc/doku.php
Research interests:Program verification, automata theory, string constraint solving
Contributions
2027
2026
APLAS
- Steering Committee Member in ATVA2026 Steering Committee
- Steering Committee Chair in ATVA Steering Committee within the ATVA Research Papers-track
- Committee Member in Program Committee within the ATVA Research Papers-track
- Author of Verifying repeat-until-success protocols using automata within the ATVA Research Papers-track