Cai Yufan (Preferred)
Yufan Cai
Cai Yufan
Visiting Researcher, Ant Group
Postdoc, National University of Singapore
Visiting Researcher, National University Health System
Joined
May 2023
Names
,
Emails
****@u.nus.edu (Confirmed)
****@u.nus.edu (Confirmed)
****@nus.edu.sg (Confirmed)
Personal Links
Career & Education History
Visiting Researcher
Ant Group (antgroup.com)
2026 – Present
Postdoc
National University of Singapore (nus.edu.sg)
2024 – Present
Visiting Researcher
National University Health System (nuhs.edu.sg)
2025 – 2026
PhD student
National University of Singapore (u.nus.edu)
2020 – 2025
Undergrad student
Shanghai Jiao Tong University (sjtu.edu.cn)
2016 – 2020
Advisors, Relations & Conflicts
Expertise
Code Generation
Present
Program Synthesis and Verification
Present
Formal Methods
Present
Machine Learning & Neural Network
Present