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

Publication

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

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

Recent News

  • Selected participant of the Rising Stars Program, October 2016
  • Nominated for Best Paper Award for EMSOFT, October 2016
  • Funded by VMW Workshop for the CAV trip, July 2016
  • Presented C2E2 in CAV Toronto, July 2016
  • Spent a wonderful week in France as a selected participant of the FADex program, July 2016
  • Won the Rambus Fellowship, April, 2016

Contact Info.

Address: 247 CSL,1308 West Main Street,Urbana,IL
Email: chuchufan1990 at gmail.com
Website: chuchufan.info