Jieke Shi (Preferred)
Jieke Shi
PhD student, School of Computing and Information Systems, Singapore Management University
Researcher, School of Computing and Information Systems, Singapore Management University
Joined
June 2025
Names
Emails
****@smu.edu.sg (Confirmed)
Personal Links
Career & Education History
PhD student
School of Computing and Information Systems, Singapore Management University (smu.edu.sg)
2022 – Present
Researcher
School of Computing and Information Systems, Singapore Management University (smu.edu.sg)
2021 – Present
Advisors, Relations & Conflicts
Expertise
Program Synthesis
Present
Formal Verification
Present
Code Generation
Present
Search-based Software Engineeing
Present