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