Jieke Shi, a third-year Ph.D. candidate and a Research Engineer at Singapore Management University (SMU), specializing in SE/PL, will be entering the job market. He designs and implements automated program synthesis-assisted methods for validating the safety of AI-enabled systems and enhancing the efficiency of large language models serving. Redirecting to his new homepage at jiekeshi.notion.site.