Welcome to Chuchu Fan's homepage.
Department profile Link
Google citation Link
I am Chuchu Fan, a fifth year graduate student in Professor Sayan Mitra's group and ECE department, UIUC. I also work closely with Professor Mahesh Viswanathan from the CS Department of UIUC. Before joining UIUC, I got my bachelor's degree from Tsinghua University, Department of Automation with honor.
My research involves formal verification and formal synthesis of cyber physical systems (CPS). Check out our vefication and synthesis tool for black-box CPS DryVR and verification tool for hybrid systems modeled with differential equations C2E2.
You can see pdf version of my CV/Resume.
|Chuchu Fan, Bolun Qi and Sayan Mitra. Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features , IEEE Design & Test 2018. Link|
|Chuchu Fan, James Kapinski, Xiaoqing Jin and Sayan Mitra. Simulation-Driven Reachability Using Matrix Measures , ACM Transactions on Embedded Computing Systems (TECS) 17.1 (2018): 21. Link|
|Chuchu Fan, Bolun Qi, Sayan Mitra and Mahesh Viswanathan, DRYVR:Data-driven verification and compositional reasoning for automotive systems , International Conference on Computer Aided Verification, (CAV) 2017. Link. The ArXiv version can be found at Link|
|Chuchu Fan, James Kapinski, Xiaoqing Jin and Sayan Mitra. Locally Optimal Reach Set Over-approximation for Nonlinear Systems , International Conference on Embedded Software, (EMSOFT) 2016. (Best Paper Finalist). Link. Full version report can be found at Link|
|Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan and Parasara Sridhar Duggirala. Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 , International Conference on Computer Aided Verification, (CAV) 2016. Link|
|Zhenqi Huang, Chuchu Fan and Sayan Mitra. Bounded invariant verification for time-delayed nonlinear networked dynamical systems, Nonlinear Analysis: Hybrid Systems, 2016. Link|
|Chuchu Fan and Sayan Mitra. Bounded Verification with On-the-fly Discrepancy Computation, International Symposium on Automated Technology for Verification and Analysis (ATVA) 2015. Link|
|Md. Ariful Islam, Richard Defrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra and Scott Smolka. Model Checking Tap Withdrawal in C. Elegans, Hybrid Systems Biology (HSB) 2015. Link|
|Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, and Mahesh Viswanathan. Meet a Powertrain Verification Challenge, Computer-aided Verification (CAV) 2015. Link|
|Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, and Mahesh Viswanathan. Progress on Powertrain Verification Challenge with C2E2*, Applied Verification for Continuous and Hybrid Systems (ARCH) 2015 (Robert Bosch Best Verification Result). Link|
|Huang, Zhenqi, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, and Marta Kwiatkowska. Simulation-based Verification of Implantable Medical Devices with Guaranteed Coverage, IEEE Design & Test 2015. Link|
|Huang, Zhenqi, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, and Marta Kwiatkowska. Invariant verification of nonlinear hybrid automata networks of cardiac cells, Computer-aided Verification (CAV) 2014. Link|
|Qiang Ning, Kan Chen, Li Yi, Chuchu Fan, Yao Lu, Jiangtao Wen, Image Super-Resolution via Analysis Sparse Prior, IEEE Signal Processing Letters 2013. Link|
|Sayan Mitra, Chuchu Fan and Zhenqi Huang, Bounded verification through discrepancy computations, United States Patent Application 20160179999, Link|
|Qiang Ning, Kan Chen, Li Yi, Chuchu Fan, Yao Lu and Jiangtao Wen, Image Super-Resolution via Analysis Sparse Prior, China patent 2012105247162, Link|
Address: 247 CSL,1308 W Main St,Urbana,IL,61801
Email: chuchufan1990 at gmail dot com
Email (school): cfan10 at illinois dot edu