Cai Yufan

Postdoc, National University of Singapore

  • Joined May 2023

Names

Cai Yufan (Preferred)
,
Yufan Cai

Emails

****@u.nus.edu (Confirmed)
,
****@u.nus.edu (Confirmed)
,
****@nus.edu.sg (Confirmed)

Personal Links

Career & Education History

Postdoc
National University of Singapore (nus.edu.sg)
2024 – Present
 
PhD student
National University of Singapore (u.nus.edu)
2020 – 2024
 
Undergrad student
Shanghai Jiao Tong University (sjtu.edu.cn)
2016 – 2020
 

Advisors, Relations & Conflicts

PhD Advisor
2020 – 2024
 

Expertise

Code Generation & Program Synthesis and Verification
Present
 
Formal Methods
Present
 
Machine Learning & Neural Network
Present