I am a Senior Research Fellow in the School of Computing at NUS Singapore, primarily working in the areas of Formal Methods, Programming Languages, Software Engineering, and Trustworthy AI. My current research efforts are aimed at establishing a formal foundation for Trustworthy Autonomy.