Differences

This shows you the differences between two versions of the page.

--- main [2023/07/22 09:21]
yfc
+++ main [2024/05/13 06:50] (current)
yfc [Research interests]
@@ Line 1: / Line 1: @@
+{{ :34289781435_d833a98007_m.jpg|}}
+===== Information=====
+  *Yu-Fang Chen {{:name.png?50|}}
+  * Research Fellow (equivalent to the full professor rank in universities), Institute of Information Science, Academia Sinica
+  *Email: yfc@iis.sinica.edu.tw
+  *Phone: +886-2-2788-3799 #1514
+  *Address: No.128, Section 2, Academia Road, Nankang District, Taipei 115, Taiwan
+==== Awards ====
+  * Distinguished paper award **OOPSLA 2023**
+  * Young Scholar Creativity Award, Foundation for Advancement of Outstanding Scholarship, Taiwan, 2023
+  * Distinguished paper award **PLDI 2023**
+  * Best paper award **FM 2023**
+  * MOST Research Project for Excellent Junior Research Investigators 2020-2023.
+  * Best paper award **TACAS 2010**
+==== Research interests ====
+  * Formal Verification
+  * Quantum Programs
+  * Automata theory
+  * Satisfiability Modulo Theory
 =====Recent Publications =====
+Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan\\
+A Decision Procedure for String Constraints with String/Integer Conversion and Flat Regular Constraints.\\ **Acta Informatica 2024**\\
+Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc\\
+Z3-Noodler: An Automata-based String Solver.\\
+**TACAS 2024 (Best paper nomination)**\\
+Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini\\
+A symbolic Algorithm for the Case-split Rule in Solving Word Constraints with Extensions.\\
+**Journal System Software 2023**\\
+Yu-Fang Chen, David Chocholaty, Vojtech Havlena, Lukás Holik, Ondrej Lengal, Juraj Síc\\
+Solving String Constraints with Lengths by Stabilization.\\
+**OOPSLA 2023 (Distinguished paper award)**
 Yu-Fang Chen, Philipp Rümmer and Wei-Lun Tsai\\
@@ Line 7: / Line 43: @@
 Yu-Fang Chen, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai.\\
-AutoQ: An Automata-based Quantum Circuit Verifier.\\
+AutoQ: An Automata-based Quantum Circuit Verifier.
 [[https://link.springer.com/chapter/10.1007/978-3-031-37709-9_7|Link]]\\
 **CAV 2023**\\
@@ Line 86: / Line 122: @@
 [[publications|Earlier Publications]]
+=====Services=====
+====Recent PC Duties====
+**2025**
+FoSSaCS\\
+**2024**
+CAV, ATVA, CONCUR, DATE, NETYS\\
+**2023**
+CAV, ATVA, SAS, DATE\\
+**2022**
+CAV, ATVA, VMCAI\\
+**2021**
+LICS, ATVA, FASE, VMCAI\\
+**2020**
+CONCUR, ATVA, FASE\\
+**2019**
+TACAS, ATVA, SAS
+====Steering Committee====
+ATVA
+====Organizers====
+MOSCA 2023@CAV\\
+Flolac Summer School 2023\\
+ATVA 2019
+===== Projects =====
+  * [[http://www.languageinclusion.org|Languageinclusion.org--A collection of recent research results on automata language inclusion testing]]
+  * [[http://bull.iis.sinica.edu.tw|Boolean fUnction Learning Library (BULL)]]
+  *[[http://goal.im.ntu.edu.tw|The GOAL Tool]]
+  *[[http://iscasmc.ios.ac.cn/roll|Regular Omega Language Learning (ROLL) Library]]
+  *[[https://github.com/fmlab-iis/ma-learning/wiki|Multiplicity Automata Learning Library (MALL)]]
+  *[[http://user.it.uu.se/~jarst116/norn/|Norn, a solver for string constraints]]

User Tools

Site Tools

Differences

Page Tools