CHUCHU FAN For beautiful eyes, look for the good in others; for beautiful lips, speak only words of kindness; and for poise, walk with the knowledge that you are never alone. --Audrey Hepburn

Welcome to Chuchu's homepage!

Welcome to Chuchu Fan's homepage.

Department profile Link

Google citation Link

DBLP Link

About me

Image One 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.

Recent News

Publication

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

Patents

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

Contact Info.

Address: 247 CSL,1308 W Main St,Urbana,IL,61801
Email: chuchufan1990 at gmail dot com
Email (school): cfan10 at illinois dot edu
Website: chuchufan.info