Welcome to Chuchu Fan's homepage.
Department profile Link
Google citation Link
I am Chuchu Fan, a fourth year graduate student in Professor Sayan Mitra's group and ECE department, UIUC. Before coming to U.S., I got my bachelor's degree in Tsinghua University, Department of Automation with honor.
I devote all myself to Verification of Hybrid Systems and Control Systems. My research involves developing efficient software C2E2 for design and analysis of hybrid and cyber-physical systems.
You can see pdf version of my CV/Resume.
|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). 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 West Main Street,Urbana,IL
Email: chuchufan1990 at gmail.com